-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 11 Jul 2013 22:02:56 +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.2-1 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.2-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 1f568c2e7ce9bc0be742bd6810bea9c3e3a8e6d7 1746 acl2_6.2-1.dsc 31cf9835907a43d0d24b1e87b17d5374a9a7eeaa 11334618 acl2_6.2.orig-books.tar.gz b55a98e711506c29a9da291c24d2b3e7054f2210 6922453 acl2_6.2.orig.tar.gz da6a55aad5ba46df83bffe6ec30614dec68213fe 160213 acl2_6.2-1.debian.tar.gz d8f7a1e5b302a2ab6a95d5a7f3101aa6af6e968e 3762198 acl2-source_6.2-1_all.deb 159981e6f1b2b0b07287ea4949268bd037fcc3e9 61674 acl2-emacs_6.2-1_all.deb b2f58ae495be66aadbd03e41aae2b4da40248438 92508 acl2-infix-source_6.2-1_all.deb 95fd03ab484cc5ce12278f56556fcd12d13f9a15 7676044 acl2-books-source_6.2-1_all.deb b578cf8a926c79ab63f4f6e821cc5101f1c02d34 10237130 acl2-books-certs_6.2-1_all.deb 1ed2ee3cbb2a6a7e4173fa0513874ea87e339d8e 12511122 acl2-doc_6.2-1_all.deb bdfcf37d6c4e3f5b7d633f470d3678356b5f3cfd 28090744 acl2_6.2-1_amd64.deb 37514c8900bd5f8d778749eed87376c6684d051f 211120 acl2-infix_6.2-1_amd64.deb 298671d6bd9279b9f099ba45429369bbf427aa7d 35754472 acl2-books_6.2-1_amd64.deb Checksums-Sha256: 1f9a76235ee1902b4393273e78aaab7d7102e53a861592cbae498e0952e0a283 1746 acl2_6.2-1.dsc 8a6fbfa491dfb9ef129b4f6c4e3d7da7cffe434da111c69ec63b98b3bc8af8a1 11334618 acl2_6.2.orig-books.tar.gz b28073994b1eb36f8f0c0da92c4107b0fc63643d74436c3bbe6f9316e87a6ba3 6922453 acl2_6.2.orig.tar.gz 9f90814f44c8773a276460d8b6c2f08de7efe1983e048c927fb845fe6d9887aa 160213 acl2_6.2-1.debian.tar.gz 4b6e69a6094faf5bb7f99440579c35cc707235a257df4068a66b4a9a008b1b7d 3762198 acl2-source_6.2-1_all.deb aaca64a8ada4675ac86941ff13f6f1d03ffee9b1552489de1d4f8ee493c49f6f 61674 acl2-emacs_6.2-1_all.deb 23d0b672ea9899cae6afdd889d29187433561767694b192af60f2e1e1ce7d1a4 92508 acl2-infix-source_6.2-1_all.deb 165a8f2e68b4152a5435dbe9e15fef28e9bee2d5e32f8ab1648ba065d82fce36 7676044 acl2-books-source_6.2-1_all.deb 83e12cf169b0bfb0a0a35c1e805bfb72794859435e1c2bd31f622d9fd65745cc 10237130 acl2-books-certs_6.2-1_all.deb 0e1ca9dc310f934a8141aeb8c3f02d0acef068a121e2a0114dca4bf369770bdf 12511122 acl2-doc_6.2-1_all.deb b5214f53d7dc2bf0a7fb9687c4744f146dadfde7ad78fad174b8df38d78373d9 28090744 acl2_6.2-1_amd64.deb b6abec9f7b381031c68ec219f8dd31ce2b29733a0ff309f15125cbc07b533aaa 211120 acl2-infix_6.2-1_amd64.deb e86288fe0681c768bad35f686db8c24fa2b0e394459a89d1d83986aabda78833 35754472 acl2-books_6.2-1_amd64.deb Files: 5de5c001e8d2df8c2d5434a10d811778 1746 math optional acl2_6.2-1.dsc f6614df0f7bba424dd1ddcbad22190b7 11334618 math optional acl2_6.2.orig-books.tar.gz 1d44fb09e3311730271af8bd981f308b 6922453 math optional acl2_6.2.orig.tar.gz 926a1935c754a3022312d928d586ac36 160213 math optional acl2_6.2-1.debian.tar.gz ae7d72592096b8c1361ff48a6f93182c 3762198 math optional acl2-source_6.2-1_all.deb bcdba8bdbf34a9347e25c73c09277098 61674 math optional acl2-emacs_6.2-1_all.deb 69558091c264a41a7948aeb3290937a8 92508 math optional acl2-infix-source_6.2-1_all.deb 08bc47ad61e05f74496d28dc4e68dd2b 7676044 math optional acl2-books-source_6.2-1_all.deb cbdeeda8a9f391fa31ca59b8c77264f3 10237130 math optional acl2-books-certs_6.2-1_all.deb 3b7ca08dd78797093b3c5efaec7e8aa2 12511122 doc optional acl2-doc_6.2-1_all.deb 2eed583f96b6c89c82a76c5add681e00 28090744 math optional acl2_6.2-1_amd64.deb 4c4f9fdb9deb144070609ecc9260b3d2 211120 math optional acl2-infix_6.2-1_amd64.deb 5898e64e937afa53b6413fb37f57d5c8 35754472 math optional acl2-books_6.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlHgF1sACgkQczG1wFfwRdyoHgCfUzard6TqvvjfCyZ6Bj5km6zs PYgAn3GFs7pA1JtyPEprGPnCv1xY7PZq =z9LA -----END PGP SIGNATURE-----
