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 precise (universe)
Version	2.02.19940316-14
Sektion	universe/math
Priorität	optional
Installierte Größe	2188 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	hol88
Paketgröße	373364 Byte
Prüfsumme MD5	259cfc8dd6afc29577a3eeb605789529
Prüfsumme SHA1	3d9ea61e3ad114f41ad00c2cbbdd55faba936c8e
Prüfsumme SHA256	fc3aa05fe19b8eb38d55906a79fb1be3352b99cbcd7c81eaa89ce4010f9f7873
Link zum Herunterladen	hol88-source_2.02.19940316-14_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds