Format: 1.8 Date: Sun, 08 Jan 2023 17:11:46 -0500 Source: hol88 Binary: hol88 hol88-contrib-help hol88-contrib-source hol88-doc hol88-help hol88-library hol88-library-help hol88-library-source hol88-source Architecture: all arm64 Version: 2.02.19940316dfsg-5 Distribution: sid Urgency: medium Maintainer: Camm Maguire Changed-By: Camm Maguire Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher Order Logic, user contributed source hol88-doc - Documentation for hol88 hol88-help - Higher Order Logic, online help files hol88-library - Higher Order Logic, binary library modules hol88-library-help - Higher Order Logic, library online help files hol88-library-source - Higher Order Logic, library source files hol88-source - Higher Order Logic, source files Changes: hol88 (2.02.19940316dfsg-5) unstable; urgency=medium . * build-dep latest gcl Checksums-Sha1: 45a432e97b3a3f795d43b5556fd41402eac082ce 23444 hol88-contrib-help_2.02.19940316dfsg-5_all.deb 5c2a1a81250359e68222dbd3283f476ad1273733 725520 hol88-contrib-source_2.02.19940316dfsg-5_all.deb b27f8c8ff23faf8ab82362259c90276ef3c49429 98240 hol88-doc_2.02.19940316dfsg-5_all.deb 1691e1a3d1fe8c98cda5d07ea9af7a6abcd96e94 209292 hol88-help_2.02.19940316dfsg-5_all.deb 9e6a68d0f529912022d86316dc3764d90e7728a5 227748 hol88-library-help_2.02.19940316dfsg-5_all.deb a2da9ae88a00c09f45a75142b94ff4cab95825c0 417084 hol88-library-source_2.02.19940316dfsg-5_all.deb 8601064642bc27b94824722e023e0a32fcf0d32e 3875520 hol88-library_2.02.19940316dfsg-5_arm64.deb 8a9cac46756ead5bfb379dd1f15e91beead846d8 294032 hol88-source_2.02.19940316dfsg-5_all.deb ff77313ee50370a83d30b7d1c288f849961059cb 12495 hol88_2.02.19940316dfsg-5_arm64.buildinfo 32c592816cd43d1cd88c1ff95925dd19c8cb7bc3 6066112 hol88_2.02.19940316dfsg-5_arm64.deb Checksums-Sha256: a29a1e83249a967682bc80835ae80882796af06855acca74d26bb2c088e70c0f 23444 hol88-contrib-help_2.02.19940316dfsg-5_all.deb d25eaae3a4919d1a9da9f38fc24dfc706a1b7bda515ce61fdb29f1a582a63e58 725520 hol88-contrib-source_2.02.19940316dfsg-5_all.deb e89c60afe0e29e2af2777fc84a64cf86d5cf81db38bd1c11955ca5f63718e14b 98240 hol88-doc_2.02.19940316dfsg-5_all.deb 04dc03039fec2460a4e662f901ea259e1056195d8e0dcc110746150acdcd4ee8 209292 hol88-help_2.02.19940316dfsg-5_all.deb 83ee05974e62dbc6bc15738cc0bca938518de2bf6b56f9e9cf587cc038c321c9 227748 hol88-library-help_2.02.19940316dfsg-5_all.deb 446e27359805ca3d9e203ba9db82e5e8892a435accd1b5e8df5dbc3984b080d4 417084 hol88-library-source_2.02.19940316dfsg-5_all.deb ee95c058f841a9417098e741069e81a079ff011950bba9cb856cdd69b9bf29d5 3875520 hol88-library_2.02.19940316dfsg-5_arm64.deb 9fad02f6badbb4258e13d92cd1b8713f894052ccd50f1dc60ec65f02483612aa 294032 hol88-source_2.02.19940316dfsg-5_all.deb b8df4f99575e84f57bb536398915ecd5863a4e8102efceb8c1589b7dd1b69743 12495 hol88_2.02.19940316dfsg-5_arm64.buildinfo a1b7342f7ea0ef5d7266c4b3c12df1623f4c14ff905a9584f18730b1141f3363 6066112 hol88_2.02.19940316dfsg-5_arm64.deb Files: 1f4b7d998ac883dda702bb96595c3f83 23444 math optional hol88-contrib-help_2.02.19940316dfsg-5_all.deb b3a739f2c95b2c4c96556a080f14172b 725520 math optional hol88-contrib-source_2.02.19940316dfsg-5_all.deb 43f2d1af00b74753073a82e84d9758dd 98240 doc optional hol88-doc_2.02.19940316dfsg-5_all.deb 13149c402b486edede2163284c6a62ee 209292 math optional hol88-help_2.02.19940316dfsg-5_all.deb 2e76bef766713f7ddfe80641586b7d3f 227748 math optional hol88-library-help_2.02.19940316dfsg-5_all.deb 59939b639d170e3323a4a5c396bc44ea 417084 math optional hol88-library-source_2.02.19940316dfsg-5_all.deb f530fc3fa00fc179d0e88b88a260422e 3875520 math optional hol88-library_2.02.19940316dfsg-5_arm64.deb 90e4ea2469ecdc42a9b5489552a1236a 294032 math optional hol88-source_2.02.19940316dfsg-5_all.deb fc1cb4728f7489175ce7004b0b07af98 12495 math optional hol88_2.02.19940316dfsg-5_arm64.buildinfo cbe170ce69d5effd2d962d1bd6a869c8 6066112 math optional hol88_2.02.19940316dfsg-5_arm64.deb