packages
[ Source: hol88 ]
Package: hol88-library (2.02.19940316dfsg-9) [universe]
Links for hol88-library
Ubuntu Resources:
Download Source Package hol88:
- [hol88_2.02.19940316dfsg-9.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-9.debian.tar.xz]
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Similar packages:
Higher Order Logic, binary library modules
Download hol88-library
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 4,830.4 kB | 39,446.0 kB | [list of files] |
| arm64 | 4,908.9 kB | 40,213.0 kB | [list of files] |
| armhf | 4,994.5 kB | 28,985.0 kB | [list of files] |
| ppc64el | 5,656.5 kB | 48,092.0 kB | [list of files] |
| riscv64 | 14,610.2 kB | 144,488.0 kB | [list of files] |
| s390x | 5,072.4 kB | 40,773.0 kB | [list of files] |