wszystkie opcje
jessie  ] [  stretch  ] [  sid  ]
[ Pakiet źródłowy: aac-tactics  ]

Pakiet: libaac-tactics-ocaml-dev (8.6.1-1)

Odnośniki dla libaac-tactics-ocaml-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego aac-tactics:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Znaczniki: Rozwój oprogramowania: Biblioteki, Rola: Biblioteka deweloperska

Inne pakiety związane z libaac-tactics-ocaml-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libaac-tactics-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 38,1 KiB412,0 KiB [lista plików]
arm64 38,1 KiB412,0 KiB [lista plików]
armel 38,1 KiB412,0 KiB [lista plików]
armhf 38,1 KiB412,0 KiB [lista plików]
i386 38,1 KiB412,0 KiB [lista plików]
mips 38,0 KiB412,0 KiB [lista plików]
mips64el 38,0 KiB412,0 KiB [lista plików]
mipsel 38,0 KiB412,0 KiB [lista plików]
ppc64el 38,0 KiB412,0 KiB [lista plików]
s390x 38,0 KiB412,0 KiB [lista plików]