všetky možnosti
jessie  ] [  stretch  ] [  sid  ]
[ Zdroj: aac-tactics  ]

Balík: libaac-tactics-ocaml-dev (8.6.1-1)

Odkazy pre libaac-tactics-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík aac-tactics:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Značky: Software Development: Knižnice, Role: Vývojová knižnica

Ostatné balíky súvisiace s balíkom libaac-tactics-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libaac-tactics-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 38.1 kB412.0 kB [zoznam súborov]
arm64 38.1 kB412.0 kB [zoznam súborov]
armel 38.1 kB412.0 kB [zoznam súborov]
armhf 38.1 kB412.0 kB [zoznam súborov]
i386 38.1 kB412.0 kB [zoznam súborov]
mips 38.0 kB412.0 kB [zoznam súborov]
mips64el 38.0 kB412.0 kB [zoznam súborov]
mipsel 38.0 kB412.0 kB [zoznam súborov]
ppc64el 38.0 kB412.0 kB [zoznam súborov]
s390x 38.0 kB412.0 kB [zoznam súborov]