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


Paketnameladr4-apps
Beschreibungthe LADR deduction library, miscellaneous applications
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version0.0.200902a-2
Sektionuniverse/math
Prioritätoptional
Installierte Größe1012 Byte
Hängt ab vonlibc6 (>= 2.4), libladr4 (>= 0.0.200902a), python
Empfohlene Paketeprover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
PaketbetreuerUbuntu MOTU Developers
Quelleladr
Paketgröße351208 Byte
Prüfsumme MD5e674305e45362eb42c9f40a660d20716
Prüfsumme SHA16b898341d8a88a917f215a85ae10c65d8c47c7d0
Prüfsumme SHA256fe701eaca8c62bcd9ab33ff47610c3f293482b97b4776da43534ff35f70a3298
Link zum Herunterladenladr4-apps_0.0.200902a-2_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds