Package: hol88-library (2.02.19940316-14 and others)

[ Source: hol88  ]

Higher Order Logic, binary library modules

Download hol88-library

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.02.19940316-14	6,101.0 kB	31,440.0 kB	[list of files]
amd64	2.02.19940316-14	5,290.8 kB	28,028.0 kB	[list of files]
armel	2.02.19940316-14	4,456.3 kB	16,188.0 kB	[list of files]
armhf	2.02.19940316-14	4,513.3 kB	13,588.0 kB	[list of files]
hppa	2.02.19940316-13.1	5,884.2 kB	21,156.0 kB	[list of files]
hurd-i386	2.02.19940316-14	4,566.2 kB	15,752.0 kB	[list of files]
i386	2.02.19940316-14	4,895.5 kB	16,796.0 kB	[list of files]
ia64	2.02.19940316-14	6,621.2 kB	40,056.0 kB	[list of files]
kfreebsd-amd64	2.02.19940316-14	5,227.0 kB	27,716.0 kB	[list of files]
kfreebsd-i386	2.02.19940316-14	4,896.1 kB	16,318.0 kB	[list of files]
m68k (unofficial port)	2.02.19940316-8	2,386.5 kB	12,068.0 kB	[list of files]
mips	2.02.19940316-14	5,684.4 kB	18,024.0 kB	[list of files]
mipsel	2.02.19940316-14	5,303.6 kB	18,024.0 kB	[list of files]
powerpc	2.02.19940316-14	6,474.9 kB	21,260.0 kB	[list of files]
powerpcspe (unofficial port)	2.02.19940316-13.1	6,109.6 kB	20,192.0 kB	[list of files]
s390	2.02.19940316-14	5,875.1 kB	19,060.0 kB	[list of files]
s390x	2.02.19940316-14	2,008.3 kB	11,226.0 kB	[list of files]
sh4 (unofficial port)	2.02.19940316-14	4,844.5 kB	15,544.0 kB	[list of files]
sparc	2.02.19940316-14	5,289.4 kB	18,568.0 kB	[list of files]
sparc64 (unofficial port)	2.02.19940316-14+b1	4,622.0 kB	21,324.0 kB	[list of files]