hol88_2.02.19940316dfsg-1_all.buildinfo

hol88 (hol88_2.02.19940316dfsg-1_armhf.deb)

SHA1: b70bd7a3fe9503beb3eae5e153b40c7d7c97b6fb
SHA256: a6823bfc5e2e08f41b8cadc87e5ae33ca9871403112d500211388ec865516f74

Size: 5,595,724 bytes

hol88-contrib-help (hol88-contrib-help_2.02.19940316dfsg-1_all.deb)

SHA1: 5b554b8614a9ffe45942a04be93f52246061380d
SHA256: ac99188ccc1ea272390e2bc8b408c56b5daa05182aeeb792b87f3f8891a898b0

Size: 23,512 bytes

hol88-contrib-source (hol88-contrib-source_2.02.19940316dfsg-1_all.deb)

SHA1: cc2880c30d5f879b59e5eb0e5f6b96e8f2eeec41
SHA256: 5d2346e44d7657d57b866e0145252ee07cd0d3bd921c51c0d23a28f93a0d773d

Size: 725,532 bytes

hol88-doc (hol88-doc_2.02.19940316dfsg-1_all.deb)

SHA1: 804ce547720f841f18991a6870cbcf680e871939
SHA256: 8127f85f4bb9c1e3c2dd3e988b250b429fb12c25aca6b7716290a6a9fd5bca36

Size: 1,064,772 bytes

hol88-help (hol88-help_2.02.19940316dfsg-1_all.deb)

SHA1: 2ae88ea5913af1eaef45e292d6ed8e05f3b90a40
SHA256: cc5087a7b904bbc411ea8e4dd2abc55f557e5be3e8f0d267f2863d47f25c2d59

Size: 209,352 bytes

hol88-library (hol88-library_2.02.19940316dfsg-1_armhf.deb)

SHA1: b10a661d5e5f2bb6b8064d23b948d4da2bbcad26
SHA256: ce7db56cfea5f4eb4812430bb88a79f41244b23e75033bee25777c0160b78206

Size: 3,674,264 bytes

hol88-library-help (hol88-library-help_2.02.19940316dfsg-1_all.deb)

SHA1: bd72cab14174e890695694096430ab5ba8bf5c6b
SHA256: f7ece2af30aefe2882f959ee17b8edb3c6cae7dccf1b04755fe606edcbcfa40e

Size: 227,840 bytes

hol88-library-source (hol88-library-source_2.02.19940316dfsg-1_all.deb)

SHA1: 9e3a00aa56c0c6e66dbd39f0a0b26bec6c0c45e0
SHA256: e47324e181dd60ea92504f5d122fd2dbc1d0e11db71dfae6ca5046f304a2fe3a

Size: 417,064 bytes

hol88-source (hol88-source_2.02.19940316dfsg-1_all.deb)

SHA1: 76eb59dd84c9705ef5aa1ce99fa0358cc75ffa08
SHA256: e71cd667ff1e3eb3771e35f7fab79e1bac3d98849fdc4c824741b3cb1347817b

Size: 294,068 bytes

hol88_2.02.19940316dfsg-1_all.buildinfo (view)