-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 15 Nov 2013 16:11:57 +0000 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: source all amd64 Version: 6.3-6 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific acl2-books-source - Computational Logic for Applicative Common Lisp: library sources acl2-doc - Computational Logic for Applicative Common Lisp: documentation acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface acl2-infix - Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source acl2-source - Computational Logic for Applicative Common Lisp: source files Changes: acl2 (6.3-6) unstable; urgency=low . * rebuild against latest gcl Checksums-Sha1: 60cd76e4d3dec4d57285437a3504d2978ed40e2d 1749 acl2_6.3-6.dsc d526cd7e82aaf509b0ccc6d127bfaa2d9cac4367 161447 acl2_6.3-6.debian.tar.gz 523ebddd8379aecfff2aca79b04c252072dcf7b4 2740628 acl2-source_6.3-6_all.deb 7798ea74bede89dc0b699d8c89371fb8d822a1f8 52802 acl2-emacs_6.3-6_all.deb e21ec0c59811cee9e97f55c919f3c0884f99c85c 77592 acl2-infix-source_6.3-6_all.deb fa2dc4e4550052f70c71cf83d394fc07e648e5ca 5431616 acl2-books-source_6.3-6_all.deb 3c83051f08d2cc76d63c8e1a8bdc682375c148e9 3624394 acl2-books-certs_6.3-6_all.deb d349231fccf72eaf9f1f6b0a122becee42e761ac 12093096 acl2-doc_6.3-6_all.deb 05faf85e3e989357adaf3a2cf32c3c2066692059 16494836 acl2_6.3-6_amd64.deb d90fed1e1565c148df4c94a643171c81826d33ef 150990 acl2-infix_6.3-6_amd64.deb 3dab9c32b8090049c27cce7c26df64212d470750 19291888 acl2-books_6.3-6_amd64.deb Checksums-Sha256: 83f003c190bfcae2c0b982137981f4c5c2926d9884efac3d2ef0ab0fcc770895 1749 acl2_6.3-6.dsc 5b79115d2eb08cc5c6ec167d7f2937c6125e104e644a6bce0190f5ebd7d65888 161447 acl2_6.3-6.debian.tar.gz b350cb1cce73d2409c7a9eeca9e69b67e2b06175a7cc14e4bc34a6e90729aa62 2740628 acl2-source_6.3-6_all.deb 2ba87d226ea1416a6ce197835ac54741edb411ad8900d3684af1989ad2dcdd18 52802 acl2-emacs_6.3-6_all.deb 3bddc9f218a02019a324abd26611738f985d4a767460c63b1389fba8e9396ebf 77592 acl2-infix-source_6.3-6_all.deb cd72e18c66532c0729e7bd38943eb8870f048b67da3de5513acb404a1146c7d9 5431616 acl2-books-source_6.3-6_all.deb 6740f5bc3499693b9d3a40bad7a87a9908239fb7ac6274b9925d9dce4b5b49f5 3624394 acl2-books-certs_6.3-6_all.deb e1032c938603f74383db3aa608a995679115f1775376743137cdd0259efb20b0 12093096 acl2-doc_6.3-6_all.deb d6a7475f6690bf820012aa16a22830413a5847714c05a07e099f30f73c8288d8 16494836 acl2_6.3-6_amd64.deb 5f909f62006fe503761b20063be3868da387d059add361dd8a1dcd4a7b0fbfc4 150990 acl2-infix_6.3-6_amd64.deb 0bade658ecdd75d254b083cf988b309052367a445a7d44999fe235c8f66997fa 19291888 acl2-books_6.3-6_amd64.deb Files: acf5d3b0b3ab5e83405f407ce955a305 1749 math optional acl2_6.3-6.dsc 2d39d9ce54071a8cf21750dfe45e6e0a 161447 math optional acl2_6.3-6.debian.tar.gz e544465b69eae6ca89841889aa4cb970 2740628 math optional acl2-source_6.3-6_all.deb 7d58180135c156b34b1078a80ab6fea5 52802 math optional acl2-emacs_6.3-6_all.deb 6cd1969be66e70606540b1861f3d346d 77592 math optional acl2-infix-source_6.3-6_all.deb 787eec32952f6a2a73714b966de11f7e 5431616 math optional acl2-books-source_6.3-6_all.deb 5737acd006a11f0cf12aa4bcbeb6e709 3624394 math optional acl2-books-certs_6.3-6_all.deb 3ccf91ad4b394583b1159d1cdb9fbc8c 12093096 doc optional acl2-doc_6.3-6_all.deb 539c3933435e2d6863cd789863c8df40 16494836 math optional acl2_6.3-6_amd64.deb fa5176e6547e7c15e6c42df52c225f6f 150990 math optional acl2-infix_6.3-6_amd64.deb 7daf1d83c910880c9bdcfd7b30b9ced1 19291888 math optional acl2-books_6.3-6_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlKH+I4ACgkQczG1wFfwRdxTAgCgh0gGx1wnc66WaCcd3TNoGjt3 TXwAnRcSUAbdlAgLyQLm5jWS9h/qPUEz =5UIB -----END PGP SIGNATURE-----
