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

Paketti: libaac-tactics-ocaml (8.8.0+1.gbp069dc3b-1 ja muut)

Links for libaac-tactics-ocaml

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti aac-tactics:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Coq tactics for reasoning modulo AC (plugin)

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

This package provides the plugin itself.

Muut pakettiin libaac-tactics-ocaml liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libaac-tactics-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 27.0 kt135.0 kt [tiedostoluettelo]
amd64 8.8.0+1.gbp069dc3b-1+b1 120.6 kt574.0 kt [tiedostoluettelo]
arm64 8.8.0+1.gbp069dc3b-1+b1 130.0 kt658.0 kt [tiedostoluettelo]
armel 8.8.0+1.gbp069dc3b-1+b1 27.0 kt135.0 kt [tiedostoluettelo]
armhf 8.8.0+1.gbp069dc3b-1+b1 116.3 kt433.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 27.0 kt135.0 kt [tiedostoluettelo]
i386 8.8.0+1.gbp069dc3b-1+b1 109.7 kt492.0 kt [tiedostoluettelo]
mips64el 8.8.0+1.gbp069dc3b-1+b1 27.0 kt135.0 kt [tiedostoluettelo]
mipsel 8.8.0+1.gbp069dc3b-1+b1 26.9 kt135.0 kt [tiedostoluettelo]
powerpcspe (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1 26.7 kt134.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 125.5 kt745.0 kt [tiedostoluettelo]
ppc64el 8.8.0+1.gbp069dc3b-1+b1 125.2 kt681.0 kt [tiedostoluettelo]
riscv64 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 27.0 kt135.0 kt [tiedostoluettelo]
s390x 8.8.0+1.gbp069dc3b-1+b1 120.2 kt629.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 26.7 kt131.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b1 27.0 kt135.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.8.0+1.gbp069dc3b-1+b2 26.9 kt135.0 kt [tiedostoluettelo]