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	hol88-library-source
Beschreibung	Higher Order Logic, library source files
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	2.02.19940316-14
Sektion	universe/math
Priorität	optional
Installierte Größe	4284 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	563662 Byte
Prüfsumme MD5	0fd1946b69f45b7e871b5041ed7b78a8
Prüfsumme SHA1	8fef901da9db670aae001afa105bb2c2a73e387f
Prüfsumme SHA256	49b611e2f9c8a02bdd5c61ca04b0982fc66228fbf61aca2dfcfd2302ec133ea6
Link zum Herunterladen	hol88-library-source_2.02.19940316-14_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds