-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 07 Oct 2015 21:39:55 +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-31 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-31) unstable; urgency=medium . * build against latest gcl Checksums-Sha1: d44e4c74c7137029d24b55e0257cb1773b6e759c 2275 hol88_2.02.19940316-31.dsc 36f56a953b0e755de30e1aa1e3668ebe6d609bdb 130736 hol88_2.02.19940316-31.debian.tar.xz 940524277d94b5b843a00049013ed1280ec97869 24736 hol88-contrib-help_2.02.19940316-31_all.deb 81f318cc42a2afba91aec54d618c4c0feccd5cc1 732340 hol88-contrib-source_2.02.19940316-31_all.deb 5195eb2c19874f8e204823e78e78ba320c6763b1 1057172 hol88-doc_2.02.19940316-31_all.deb 6aade1e7729b1b0df3887db77e29685864ff2f5c 221640 hol88-help_2.02.19940316-31_all.deb 2cf63b76d44ea5d3c5cf649c2c01d0d4a326b177 243680 hol88-library-help_2.02.19940316-31_all.deb b3389b40eec9e4bcda6f214864f13cce6b13929a 418702 hol88-library-source_2.02.19940316-31_all.deb 4f38b954ed50ecf8f63a32070f41b692c8f316c1 3058326 hol88-library_2.02.19940316-31_amd64.deb ff62377c8bfa05fab129c1d5b54bea166a63c57c 297354 hol88-source_2.02.19940316-31_all.deb b701e9a3acbaf544619cd48a5a7f55d46bf2ca05 6234870 hol88_2.02.19940316-31_amd64.deb Checksums-Sha256: a5dc80c48dea79bcf7db5fb35831ea8dc1ba3c8c10dca8c81c95bae9c49c7ca4 2275 hol88_2.02.19940316-31.dsc 02f21c87b947641e0f358a088bc2bdceddd3ff04f6990a4000f8c182dad7883d 130736 hol88_2.02.19940316-31.debian.tar.xz 1cd45a12a1202e8cd16d31a69ad8ca61d5aefe78a839bee9db4c1318d5b6e2a4 24736 hol88-contrib-help_2.02.19940316-31_all.deb 9a6c820f469eb31842cf36ffe918fb9b95c3bdfe62a8e01ae0ddf52c093f340c 732340 hol88-contrib-source_2.02.19940316-31_all.deb 0a7d52bb5a462453f7aa0214c424118ded78bc852c4e266619addfe23892d0fc 1057172 hol88-doc_2.02.19940316-31_all.deb 3a385d6c39fe146bfaaf3448335f3064d637ca06f486d034de5f35039c347349 221640 hol88-help_2.02.19940316-31_all.deb 07ee1e85f4a0510159b60db49cecbe93025d4206a0978ac461d5bf080c1c80cd 243680 hol88-library-help_2.02.19940316-31_all.deb c92087217bc24c6d08a5a9e8a7ef38736c4545a1dd0216b4b0b07532a1a1b5f6 418702 hol88-library-source_2.02.19940316-31_all.deb a79437ca1d0af65842e92084741d7458146c7a77d338f7d5f0187042d6059531 3058326 hol88-library_2.02.19940316-31_amd64.deb f4715e72f2730de27cc2512b969aefdf95139e775889f1d922e0646f1c2cf318 297354 hol88-source_2.02.19940316-31_all.deb 7658ba2a39519f70629bed38426597504857eba511568d066d9559a5611a9289 6234870 hol88_2.02.19940316-31_amd64.deb Files: 82ad9649925669dc92ca2fec729326ed 2275 math optional hol88_2.02.19940316-31.dsc 38eaea84319943af475a73935d0e563e 130736 math optional hol88_2.02.19940316-31.debian.tar.xz a5120b1dc4b7af9a4ff40a8b49b487ff 24736 math optional hol88-contrib-help_2.02.19940316-31_all.deb 048c38f88adba9dcfd9ad8803fc1521a 732340 math optional hol88-contrib-source_2.02.19940316-31_all.deb 390ff34fabfcb02b3e3ca84239dd631d 1057172 doc optional hol88-doc_2.02.19940316-31_all.deb 7a26c4c9610631a70e247b76207445b6 221640 math optional hol88-help_2.02.19940316-31_all.deb 9b0946fcdc8c820a6e62463f466ebe6c 243680 math optional hol88-library-help_2.02.19940316-31_all.deb 036203ef2eab6ae8b2b68e8e91c4bab8 418702 math optional hol88-library-source_2.02.19940316-31_all.deb b2ebbbdc72a44c6d55e44e90b973b6b4 3058326 math optional hol88-library_2.02.19940316-31_amd64.deb 4dbb4dd817460d44a49348a04b0e8cb9 297354 math optional hol88-source_2.02.19940316-31_all.deb a65418dfe80ca5a5f4f969f8bc41e170 6234870 math optional hol88_2.02.19940316-31_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWFZXyAAoJELhFzlEPm3FNyvcP/j0cdNCHdFcbDw7x/aT0IGeW rXiAJMv5Ul24Im8RP2Od5pYt5DhIh8F35GcUHqBfLM30ZC6Tu2dJ3lPSkn6smGKm 6eEilCb5HgPRQQoPMzI7KiLNERxHCTOgGV30QuUL/e5PDM5M0OmN4pxkff6T31jR 5jwCdsVfTj/7VzD6KhxpCyYaui9X9LVvT32K+1mz0cwcp+RVk1np92RITfWNOZzL 4nvTUpaR8VYtT54vZQIbSeBZNy7dneP9Xf1Kgmb/Nn8iLMAn1mC2cC0IIojQ8e30 dfJ670GFwYvn4dIZ5hv97lR3iesSFmzyn/zeQ6niusvTK6HFOIOM/NQ8qVKJKiq8 RMUgEtiEVpgPNHCB/u0xSNM1Bs5lu1L6CHYANEn+c+wb2QVUMZ5Grz9F2gN5gRGd fS2+xW7j98W69/+SavVsFX+RUeazZMtCIoLSCdYEnLSgjmAtQcmLC9IRe2+pdlg4 1l+Oap2OV+vEX6zFsvKLZ9asMYiMTMjShHO9aL9guratlA9V1aRDgYYhQqtHs5vM tlA7pkjHma03PB+EVbz/4iMB/quVYrfGQfsrmFAxiTJEMD/wA9y5GIol+XPhwZQt Cykz/xoJGTmWnYTb2mjTDYIKXhy76c1jjFiaBc7lVwmIYs22r10atLzUFdhwx6xx M7ExmTlzSMPXQ5nkf5xq =gLRD -----END PGP SIGNATURE-----