hol88_2.02.19940316dfsg-5_all.buildinfo

hol88 (hol88_2.02.19940316dfsg-5_amd64.deb)

SHA1: 457fd57b3bb931bf916a8dea6d27bfcb3c92b8ef
SHA256: 015344e6a4bd03c19f98fc82ebd494994e97fcae91d479853924a6184ce60350

Size: 6,787,028 bytes

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

SHA1: 45a432e97b3a3f795d43b5556fd41402eac082ce
SHA256: a29a1e83249a967682bc80835ae80882796af06855acca74d26bb2c088e70c0f

Size: 23,444 bytes

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

SHA1: 5c2a1a81250359e68222dbd3283f476ad1273733
SHA256: d25eaae3a4919d1a9da9f38fc24dfc706a1b7bda515ce61fdb29f1a582a63e58

Size: 725,520 bytes

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

SHA1: ec28f5cda375305cf2bdd59c18835facef35753c
SHA256: fa7cac059d0e27ed8b5fe4303175483ab04e60f7060c937e0396e7aa1299d47c

Size: 1,064,912 bytes

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

SHA1: 1691e1a3d1fe8c98cda5d07ea9af7a6abcd96e94
SHA256: 04dc03039fec2460a4e662f901ea259e1056195d8e0dcc110746150acdcd4ee8

Size: 209,292 bytes

hol88-library (hol88-library_2.02.19940316dfsg-5_amd64.deb)

SHA1: c410ece50de0ed34de19ab3d289fb4f5a4cb6248
SHA256: c637d3ef849e5dca65614b32357ba4bf5fe366c2c0f3666474e44bc76d6601c7

Size: 3,949,716 bytes

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

SHA1: 9e6a68d0f529912022d86316dc3764d90e7728a5
SHA256: 83ee05974e62dbc6bc15738cc0bca938518de2bf6b56f9e9cf587cc038c321c9

Size: 227,748 bytes

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

SHA1: a2da9ae88a00c09f45a75142b94ff4cab95825c0
SHA256: 446e27359805ca3d9e203ba9db82e5e8892a435accd1b5e8df5dbc3984b080d4

Size: 417,084 bytes

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

SHA1: 079ef0b5f33abc91d7fb995f589ea1556c384ca0
SHA256: d44840abbb9a49b37a12a9c7ff795355e4594e3f573daf476b481e3c2e9d5f58

Size: 294,020 bytes

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