hol88_2.02.19940316-35.1_all.buildinfo

hol88 (hol88_2.02.19940316-35.1_amd64.deb)

SHA1: bad48f2bb71f02d5594b1026e1dcd1fd032f5b6f
SHA256: dca4f2755f95a4caff7f8a5876ba29dd7b42c262ba4811d3e54a30c0ec713eec

Size: 6,989,564 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: d3179274f7bdf72f96c5849643e3d1dbb225b139
SHA256: ac6f9f685363572524f104edca2f23d084f12ab7017b4fc63c6854ac6b7f736f

Size: 1,065,292 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: e02ae710f2a9bde0a01e4930ab1a78d32d17a2d6
SHA256: 526418f46944bdd7485b80177f17c60c14b05159f5d2691a4f887895d6073926

Size: 3,934,584 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: 767d002c2ecf00640f5f8613c8497d6ae4fd1d75
SHA256: 59e57e6f72be656ea38ba77ba744f32c8416ea5709d9ea5f53c17a80896ccff4

Size: 295,564 bytes

hol88_2.02.19940316-35.1_all.buildinfo (view)