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-dev
BeschreibungCoq tactics for reasoning modulo AC (devt files)
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version0.2.pl2-2build1
Sektionuniverse/ocaml
Prioritätoptional
Installierte Größe544 Byte
Hängt ab voncamlp5-qsqb3, libaac-tactics-ocaml-738b0, libcoq-ocaml-dev-10g22, ocaml-nox-3.12.0
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleaac-tactics
Paketgröße130058 Byte
Prüfsumme MD5fcfa96784376937971bcfbb5e7027622
Prüfsumme SHA1f4642e379e6e2d6a21af65d5732238fdadebf3ab
Prüfsumme SHA2561a9564d96fdc9c0a21b20d0b43e77c50278126ffce2929cf2831958c5fb97b85
Link zum Herunterladenlibaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds