-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 13 Oct 2016 19:34:07 +0000 Source: hol88 Binary: hol88 hol88-source hol88-help hol88-library hol88-library-source hol88-library-help hol88-contrib-source hol88-contrib-help hol88-doc Architecture: source all amd64 Version: 2.02.19940316-32 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> 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.19940316-32) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: 34e91574cc3ffa8eff277a9bd25424bfd34582a0 2275 hol88_2.02.19940316-32.dsc 69a9ab0d12f105531ab864414dbf3e8d69cc519b 130768 hol88_2.02.19940316-32.debian.tar.xz 3925d276fa13181ddce77f302f44c1bf95bf425e 24600 hol88-contrib-help_2.02.19940316-32_all.deb 610145cf8a88a24e526f0a792b90bb7616102cc4 729690 hol88-contrib-source_2.02.19940316-32_all.deb 47d7b73eade2f570b8e43318b2247aea3e302903 1055894 hol88-doc_2.02.19940316-32_all.deb 4356d04ad47a4a38e31d600d342ee5aa5a8f1058 216406 hol88-help_2.02.19940316-32_all.deb 4ca79a871851be2fb5a3c205a38a84b5fc159fae 238256 hol88-library-help_2.02.19940316-32_all.deb 1d0288967460e4393d7548dffd1ccddfabac1ea8 418790 hol88-library-source_2.02.19940316-32_all.deb 2d8dadbab38993d981ee725fe49ab9ce7e97fc9e 3071346 hol88-library_2.02.19940316-32_amd64.deb 6ad07419a05fdc33a9acbf6d1554712dfa335d0e 295366 hol88-source_2.02.19940316-32_all.deb 85acbc3d5a62310e258255ff9a4f57ce52c602d8 6407588 hol88_2.02.19940316-32_amd64.deb Checksums-Sha256: 14c53f473f399131d579a2c25b530ccfcbe3da72056ea806fb210486ae244f4a 2275 hol88_2.02.19940316-32.dsc 6f21e55d34502b5617659a17e876ff108121114592cf494be66095f4bb97ce27 130768 hol88_2.02.19940316-32.debian.tar.xz 75666e836e811707c247849ee5bce166a0831b372e2fb0446ab1dda2145fde3a 24600 hol88-contrib-help_2.02.19940316-32_all.deb f03e051483581e03d0c038a42ba248d098ee8ca9707ca4290b807f9aed7c64d8 729690 hol88-contrib-source_2.02.19940316-32_all.deb a6f5dc1077f5e9ad5de76deaf1b37e49236f5f7058ac614d9598a15fb733abb0 1055894 hol88-doc_2.02.19940316-32_all.deb 282576b0918ae38cce902991d8a35f67379e833437f51420fd10ce9a654db023 216406 hol88-help_2.02.19940316-32_all.deb 36e7cf6812289dd12f687215a003c8577c1e14dc72a63762cd857dd23b055737 238256 hol88-library-help_2.02.19940316-32_all.deb fffe647437106fa996a12f4654253ec2ed402f2516a93ec306c531dfcec63822 418790 hol88-library-source_2.02.19940316-32_all.deb 2be449407790d6343b29d954ae96226fbc131bb2306bee11e8fd78922451c342 3071346 hol88-library_2.02.19940316-32_amd64.deb d35219a2eec768f18d0dd67ffbef8e3af5734ff2717a2997d89ef004831db7f9 295366 hol88-source_2.02.19940316-32_all.deb 2988e65277e6da10d1b00a82a76a0367ef42f62c0bf654bdbf7237d17fec4a5c 6407588 hol88_2.02.19940316-32_amd64.deb Files: 0ec810abd5babde5df397aeb6e3cd178 2275 math optional hol88_2.02.19940316-32.dsc 7f7abc0f86175100e506b7b9cb2842b4 130768 math optional hol88_2.02.19940316-32.debian.tar.xz f89e98c7d528c5ecaf765616c1e529fb 24600 math optional hol88-contrib-help_2.02.19940316-32_all.deb a19fafa105cecd2e892903dbd373dc94 729690 math optional hol88-contrib-source_2.02.19940316-32_all.deb 61e8317b1aee100abba82c4df34c7ef9 1055894 doc optional hol88-doc_2.02.19940316-32_all.deb a33e98cc2ae2cfe800fb9196f9e72815 216406 math optional hol88-help_2.02.19940316-32_all.deb 55235eb0b1fbf2591744f9d8d36d0889 238256 math optional hol88-library-help_2.02.19940316-32_all.deb 9a4760a68949e7cdcb0b5aac2ecf5570 418790 math optional hol88-library-source_2.02.19940316-32_all.deb 72ce8a995adc55f6f7ea5e0832be1c89 3071346 math optional hol88-library_2.02.19940316-32_amd64.deb bde21dbc8aa1a332d79926c3c25d26c6 295366 math optional hol88-source_2.02.19940316-32_all.deb 5aed8a7fe27503aaa6459dafac39423b 6407588 math optional hol88_2.02.19940316-32_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJX//G6AAoJELhFzlEPm3FNcq8P/RznOapttjiOlzP2I6jwwW2y ZuxEKqm8MjFdt2QAINkJe+mjoSulj3LDZjrV77QHyMJf/GoLkNxLfa9ySJa5FR8Q AGIOrc+0EUiymUTY75v54Xg0QENCbF7NyhZPeEY63KVw70rBK1hLtqqM82ez7LoG kHk9fYBCLKr3cnzVSS+EJwgAfRnx1Z0AUuBFConCuQL9W61hRv9O/jyBjwKgXmcO 6fUxYHB6hX1BiTaW+oyHog7b06CuQBSoiwK+9ZK1VzbECRxCvKfIs5IsBHBf9FFB HEKq7JMOf7ld/eOsgeGtBBq2qcZd7wfO5ZPYqcDyBOuD6FTsMf2RGp+dsyPTTl0E m44ZhSTvBty3iUDszapfYLnegyw6MrU0Zh17skcBV3jmBBkIuAk860s/ArrFXTqB qd8V6T+oAvanhaHJw3AD83Zp5zPRTGue9ex9AFu3St+q9UbuB3A5qNyCR+82rNAI ykX7m3Gi8mC9ylDjmRsd7/nXEWBhyi6a80P6S8IrJV7XSf5pGT0RBk+2Mk372co4 ZYlWvD+46uRbRQRJIr5+n0TyEtntRdbkUWXYFLKDGsaloIRtWMgxpjJs05IKBx/W nNTK5USM2lvF1prR4yL/xCLhnvHhx5U6HHJqkqZUbEaZMyWPLPy00mJqdv+Z+jYE p3R0JFsTRFlCpmUe4fCj =ZzuY -----END PGP SIGNATURE-----
