DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibaac-tactics-ocaml
BeschreibungCoq tactics for reasoning modulo AC (plugin)
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version0.2.pl2-7
Sektionuniverse/ocaml
Prioritätoptional
Installierte Größe466 Byte
Hängt ab vonlibcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3)
Empfohlene Paketelibaac-tactics-coq
PaketbetreuerUbuntu Developers
Quelleaac-tactics
Paketgröße124570 Byte
Prüfsumme MD560b95a42bc2133912e515fd85e61300b
Prüfsumme SHA19f6b86ad46f22065df949bd356d7251706312298
Prüfsumme SHA25627183f2f7c36d5740db46751bafc9f2a0571e8b377dd78563d35f84bc9e35fdd
Link zum Herunterladenlibaac-tactics-ocaml_0.2.pl2-7_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds