hol88_2.02.19940316-35.1_all.buildinfo

hol88 (hol88_2.02.19940316-35.1_amd64.deb)

SHA1: 588407f92b18c89be7f7bef62ea20928aa1707d0
SHA256: 62ed0c92028ead8c414f0fe3dd4d9e1b6b4b83c8047c810f075f3263ba8a2641

Size: 6,988,356 bytes

hol88-contrib-help (hol88-contrib-help_2.02.19940316-35.1_all.deb)

SHA1: d46b2da9b39f2b02babdbc3989685a4469cde2d4
SHA256: 18b44959e47f7fbff411c9089531e20c92c15c2888080142ebbf8f9f8b1913d6

Size: 24,872 bytes

hol88-contrib-source (hol88-contrib-source_2.02.19940316-35.1_all.deb)

SHA1: f89145e89246d3d11abd6037f76235f69e9883b9
SHA256: 40f7003e5ff450568d9010824e6cf948d19650328b588130fc9f7e9e866f9030

Size: 728,160 bytes

hol88-doc (hol88-doc_2.02.19940316-35.1_all.deb)

SHA1: 77c8059caacce9092e80b245a4890019437e06f2
SHA256: 66db441aeafb28257e5487ae4a711de28b6dff69de86e9455887c8de4f417c5d

Size: 1,065,972 bytes

hol88-help (hol88-help_2.02.19940316-35.1_all.deb)

SHA1: b04d5c2ef892fcd9c200a6dfd6d56c1013fb78eb
SHA256: a7b0b0a0de0bded3b6ce214957f7afa7f8ffa6894bfca50a1ba7a051702dba08

Size: 210,872 bytes

hol88-library (hol88-library_2.02.19940316-35.1_amd64.deb)

SHA1: c838f9e7a9cef54fd04861ca71dbc3e5d1807a13
SHA256: e40cc0fefb5fa5a500bf3144c2528d1e194dd99ddd67d0bf52235bf1a3706389

Size: 3,897,656 bytes

hol88-library-help (hol88-library-help_2.02.19940316-35.1_all.deb)

SHA1: 6a1a26f1345604d2a7e84a7d44e4b4b8c19a52fe
SHA256: 36631da23ea1cd1411e5e1ac95e00eb68633daa58889ee6edc697850b6f02322

Size: 228,584 bytes

hol88-library-source (hol88-library-source_2.02.19940316-35.1_all.deb)

SHA1: f25abb7545c5ab69ba48d250152fb2f99063412d
SHA256: a462ec058a2ce5b473d2468714f79374c5ad8d5ec8f068f09dab61281c40aa28

Size: 418,428 bytes

hol88-source (hol88-source_2.02.19940316-35.1_all.deb)

SHA1: 9b215dad138775cec7d3efb2169a369355d7584c
SHA256: 00f367f7c7157a69c58d5f5c6df92f225d5ccbce6357b3b2a3f3b250b210c2fe

Size: 295,540 bytes

hol88_2.02.19940316-35.1_all.buildinfo (view)