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 quantal (universe)
Version	2.02.19940316-15
Sektion	universe/math
Priorität	optional
Installierte Größe	3630 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	567366 Byte
Prüfsumme MD5	1dc382fd7ac005f60ac1b67fb2aa24ff
Prüfsumme SHA1	28e05800e8c64fdf8036dd19487de99fa8d3d457
Prüfsumme SHA256	b880fca3b6853fe461bf1289c9fa4435987424d51af611f27633bf2b568b5bca
Link zum Herunterladen	hol88-library-source_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds