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-infix-source
Beschreibung	A Computational Logic for Applicative Common Lisp: infix source
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	4.2-1
Sektion	universe/math
Priorität	optional
Installierte Größe	376 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	acl2
Paketgröße	81590 Byte
Prüfsumme MD5	319c93f0663038478cb76ff833dd6712
Prüfsumme SHA1	d14c005784da767db43af2be859dcfbbf16f3148
Prüfsumme SHA256	df2d92901a2f188af014e744f11df10c2d47dcb70ee6e3a79bf7ecd90387be22
Link zum Herunterladen	acl2-infix-source_4.2-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds