| Paketname | hol88-contrib-help |
| Beschreibung | Higher Order Logic, user contributed online help files |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.02.19940316-15 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 150 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | hol88 |
| Paketgröße | 26742 Byte |
| Prüfsumme MD5 | fe463694cc09ae0c34558a47c1a4075a |
| Prüfsumme SHA1 | d863aaa3da996315bab825c6c287412f88547e0a |
| Prüfsumme SHA256 | 501c0196d73eb4ee300d32217d7457557e84ad1c7336527e3d0e4ac42193b331 |
| Link zum Herunterladen | hol88-contrib-help_2.02.19940316-15_all.deb |
| Ausführliche Beschreibung | |