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


Paketnameacl2-books
BeschreibungA Computational Logic for Applicative Common Lisp: compiled libraries
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version4.2-1
Sektionuniverse/math
Prioritätoptional
Installierte Größe113916 Byte
Hängt ab vonacl2 (= 4.2-1), acl2-books-certs (= 4.2-1), acl2-books-source (= 4.2-1)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleacl2
Paketgröße36080612 Byte
Prüfsumme MD5317282f7350052e5c758011b0673225c
Prüfsumme SHA1d2b370c5b433f67bd205b1f937040cd3890709a5
Prüfsumme SHA25633f6f9565dff78b6f62b4406f68c115870a6d37a612d427ade47d5e967344b96
Link zum Herunterladenacl2-books_4.2-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds