-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 02 Oct 2013 20:19:51 +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-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.3-1) unstable; urgency=low . * New upstream release Checksums-Sha1: dc71d1256b8890d791c830d4c27458ec35422f71 1748 acl2_6.3-1.dsc cd0412a7e7463f05bc95149c5ca2d9ec2d32f6a6 13598991 acl2_6.3.orig-books.tar.gz 12c336c03e3d8cd5a62acc062eea085a7ff97751 7068895 acl2_6.3.orig.tar.gz 4e3a711b893bf1532e51b2a7fa50db73d8e2ea94 161349 acl2_6.3-1.debian.tar.gz c4720f20b75d9c0e0228240d22271446aee7321e 2740596 acl2-source_6.3-1_all.deb e71ed56d3e3d57987c9e61881e21254aae945f81 52642 acl2-emacs_6.3-1_all.deb 9f233c72bed3446c875f5503fb7349fde75d6808 77524 acl2-infix-source_6.3-1_all.deb 98bccb2b5e5f5b6e12d44e989253203cd3e291f9 5431478 acl2-books-source_6.3-1_all.deb 17b5782b620eec76e1372b3103d392dfb734752c 3624468 acl2-books-certs_6.3-1_all.deb 1c2fc825d7f56bbaf1b739524f2eee70359c3ae9 6603348 acl2-doc_6.3-1_all.deb 1ffa5561a3e476d51140652f54bc0af1bf96435c 16439080 acl2_6.3-1_amd64.deb 1f772574876192b7bd43753e74d1784774096972 145880 acl2-infix_6.3-1_amd64.deb a741d9fa9902aae94b8a7726c7498919515049d3 18937882 acl2-books_6.3-1_amd64.deb Checksums-Sha256: f4ff64bb99a2eca0d9cc1ae22068eebbcb8ee872335d3036d9bf19c49cd13fbd 1748 acl2_6.3-1.dsc 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa 13598991 acl2_6.3.orig-books.tar.gz ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 7068895 acl2_6.3.orig.tar.gz e7b7f4494ede92be76da934f5d4ac02a4b0fbd40799015348896a5c584ea9c4e 161349 acl2_6.3-1.debian.tar.gz 3e03c789c6d5a2987c1cf6cff80f3bb57f0866964b466babf2a7a97a34309bae 2740596 acl2-source_6.3-1_all.deb 51cfe677a151b318f82f427f9514e1ea1b5045651d45b45a6f91913c4daf7435 52642 acl2-emacs_6.3-1_all.deb 0d1649a22aee5e28950982b15fe4e2146292f175116d5aace8473b95b9bb2ab3 77524 acl2-infix-source_6.3-1_all.deb cdbf058dd87dc598bf3d1eb78b1890437f7676505574753c4c0d0acb395362aa 5431478 acl2-books-source_6.3-1_all.deb 8b0b1a67bab29a39468e03fdd03820ff5ea22b7be7efced4aee7381f2cf12ea5 3624468 acl2-books-certs_6.3-1_all.deb 4e24cb1286a791c1f0b00ac19fe08764aca71510c23340ed4c57089815be2acd 6603348 acl2-doc_6.3-1_all.deb c407254518ead0e9b115bc2d64d17391cfac86ee5ef03e9c2fde6e5e192bb54e 16439080 acl2_6.3-1_amd64.deb 46adf245dcc673044376da4928d6a4e4d6b3bf1da30417649ff693992dbfe6a8 145880 acl2-infix_6.3-1_amd64.deb 2b6c40bd2af55c5680ea4a254937a9a61d7c58756d1732ab9d974b08d0bde5f6 18937882 acl2-books_6.3-1_amd64.deb Files: f5a3a6badc91a92e67a3def314f816a9 1748 math optional acl2_6.3-1.dsc c2532a0b5e416b371a31a464707fb7e4 13598991 math optional acl2_6.3.orig-books.tar.gz f333676e91224e8d5a22a7c6972e2d72 7068895 math optional acl2_6.3.orig.tar.gz 3704252284471d21a6d7fa3d99733daf 161349 math optional acl2_6.3-1.debian.tar.gz f06466b7e5c59de0f9db017f4d82bfb5 2740596 math optional acl2-source_6.3-1_all.deb 485f8565739052a805695f7def39e4b7 52642 math optional acl2-emacs_6.3-1_all.deb 1f938769b5321fcc1cd23fad524c10e3 77524 math optional acl2-infix-source_6.3-1_all.deb ecd4b333e6daab1cc72e2823a5cf590a 5431478 math optional acl2-books-source_6.3-1_all.deb ec3b5ed3c8ff5b11898633bc424d8df4 3624468 math optional acl2-books-certs_6.3-1_all.deb f55dbb49b9a631f0729a2bfdd39874a4 6603348 doc optional acl2-doc_6.3-1_all.deb 3ee2927de98a1857a9174a25fd71a6f6 16439080 math optional acl2_6.3-1_amd64.deb 03df3f6e9e0d8ceeec9ba3a580ab10fc 145880 math optional acl2-infix_6.3-1_amd64.deb eb0f52665d847cbfaa587d2522e1171c 18937882 math optional acl2-books_6.3-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlJOtlgACgkQczG1wFfwRdwK6gCdGSb/1FC4Vv8S/EPQp+dXNQfP yyQAoLQ7pscZ0FR16jhi7SHNJAdb0CQ/ =Bl3I -----END PGP SIGNATURE-----
