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ß

Paketname	acl2-doc
Beschreibung	A Computational Logic for Applicative Common Lisp: documentation
Archiv/Repository	Offizielles Ubuntu Archiv oneiric (universe)
Version	4.2-1
Sektion	universe/doc
Priorität	optional
Installierte Größe	992 Byte
Hängt ab von	dpkg (>= 1.15.4) \| install-info
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	acl2
Paketgröße	270088 Byte
Prüfsumme MD5	7828f519148655f0032113924f371443
Prüfsumme SHA1	1054de3978f2b8b49426c4b766810b6a7663e779
Prüfsumme SHA256	ba41ef632aeaacbc7a93ef8bfaf561a4b31981d89a6324946503921aee778b60
Link zum Herunterladen	acl2-doc_4.2-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds