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-certs
BeschreibungA Computational Logic for Applicative Common Lisp: library certificates
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version4.2-1
Sektionuniverse/math
Prioritätoptional
Installierte Größe28248 Byte
Hängt ab vonacl2 (>= 4.2-1)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleacl2
Paketgröße1984690 Byte
Prüfsumme MD571b10815f0854691bf4095b89c7498dc
Prüfsumme SHA182c6b5f742267175dff7f4a5e47edcca8f12c82b
Prüfsumme SHA25610e124a43bf1dc4bc108af0116e73e45ea874de802b40476f1bbff3e7aba88ca
Link zum Herunterladenacl2-books-certs_4.2-1_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds