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-source
Beschreibung	Higher Order Logic, source files
Archiv/Repository	Offizielles Ubuntu Archiv quantal (universe)
Version	2.02.19940316-15
Sektion	universe/math
Priorität	optional
Installierte Größe	1932 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	376582 Byte
Prüfsumme MD5	a7394f02722644da95fc8879176a781b
Prüfsumme SHA1	23dd64c34625ab80e88d67311c74cf5121f54b8d
Prüfsumme SHA256	4b908990e3deaca220aa47e3cda1065a2b9603af22f377ddc40a0aea4af55f69
Link zum Herunterladen	hol88-source_2.02.19940316-15_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds