Tarkennettu haku
stretch  ] [  sid  ]
[ Source: aac-tactics  ]

Paketti: libaac-tactics-ocaml-dev (8.11.0-1 ja muut)

Links for libaac-tactics-ocaml-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti aac-tactics:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Coq tactics for reasoning modulo AC (devt files)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.

Tagit: Software Development: Kirjastot, Role: Development Library

Muut pakettiin libaac-tactics-ocaml-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libaac-tactics-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 37.3 kt394.0 kt [tiedostoluettelo]
amd64 8.11.0-1+b1 38.4 kt362.0 kt [tiedostoluettelo]
arm64 8.11.0-1+b1 38.4 kt362.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 8.9.0-1+b1 40.0 kt402.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 8.9.0-1+b1 40.0 kt402.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 8.11.0-1+b2 38.4 kt362.0 kt [tiedostoluettelo]
ppc64el 8.11.0-1+b1 38.4 kt362.0 kt [tiedostoluettelo]
riscv64 (epävirallinen siirros) 8.9.0-1+b1 40.0 kt402.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 8.11.0-1+b2 38.3 kt362.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 40.0 kt403.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.9.0-1+b1 40.0 kt402.0 kt [tiedostoluettelo]