-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 12 Oct 2013 01:46:31 +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 i386 Version: 6.3-2 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-2) unstable; urgency=low . * build dep against latest gcl Checksums-Sha1: 1c07e7b1430f628cb8e4a3eed2132ce2e5eeb11b 1749 acl2_6.3-2.dsc 204e1b2db193bc9a93c8439d74fd508bc72d4158 161417 acl2_6.3-2.debian.tar.gz 4e34057eed29763765de41ab5ef9a1f894873e35 2740672 acl2-source_6.3-2_all.deb 2fa065d6a1627da78acaf5ab27af740a4886aca5 52652 acl2-emacs_6.3-2_all.deb d93ebb71d03a0468ee24b862929f3d010fbd0edd 77554 acl2-infix-source_6.3-2_all.deb 9e0a5e907d1226d922f4b1e896f4ddd2a7f3dfd9 5431926 acl2-books-source_6.3-2_all.deb 1601ca699c73831f7c68ab031554c5dedbc45ed3 3624140 acl2-books-certs_6.3-2_all.deb 7146566307e84aacadef25d7698479abc750c586 14388944 acl2-doc_6.3-2_all.deb 7f3b05c1e601860a5f1e857891e00a6779a1a5c5 13906042 acl2_6.3-2_i386.deb 0f764668e9d7fcee3a0869f8cad0c496aa095ad4 145864 acl2-infix_6.3-2_i386.deb 7b74633ce41a87278eecfe18d51f77b029bc23c8 17517210 acl2-books_6.3-2_i386.deb Checksums-Sha256: 21de49a69d3fe8ce482b97eaa18d3ae804a8e00f47f903b92090049b9a5c60da 1749 acl2_6.3-2.dsc 1aec4dab8c7e050642d119f653086b915f58a35278c0240c0210593d1a1505b5 161417 acl2_6.3-2.debian.tar.gz 59be5f0b042aa0a56731414aa86393ea342dd3030732de995cfae92695c2823f 2740672 acl2-source_6.3-2_all.deb dfe0fe9f1bc14ac746dd99b3ed61a61b5787d8d85cc80fbff14ec80897963ca3 52652 acl2-emacs_6.3-2_all.deb 0dffc30b0d1023e9637acf640c0e2f1e6fadd1011f4b146bf72e0bace9313dd0 77554 acl2-infix-source_6.3-2_all.deb 7c09db8d72ca501df96b05c62423d43d3f4117efc3acb387f782d18e796c809e 5431926 acl2-books-source_6.3-2_all.deb f6e097401050b59a8a34586ec7372d39f627b00cfecefa1a42ac51a256a5d032 3624140 acl2-books-certs_6.3-2_all.deb 971ecd76867d5faffc7fa7102893db8797b8303eebf461946a9710887fe31f80 14388944 acl2-doc_6.3-2_all.deb 24f1064d3beb08c85a0bfa7f85b3a4a06d3ca4694bfdd15a0804ddc3845f280c 13906042 acl2_6.3-2_i386.deb 8e5c6d06bf3768b452f9a3729f4ed519499fe03cfd3f0e43312c56427cadb78c 145864 acl2-infix_6.3-2_i386.deb 0a5be101262b6fcd735d70954782bb543393e84fcf0ba8336fc5e60954b75b10 17517210 acl2-books_6.3-2_i386.deb Files: 2af84f4004f23584dd0b5847d5a61ea8 1749 math optional acl2_6.3-2.dsc 2e48c2ffbba33e2148a687bf03f48af6 161417 math optional acl2_6.3-2.debian.tar.gz 48570f07a9e0931da1ce1349db40f3e8 2740672 math optional acl2-source_6.3-2_all.deb 4b111b103f043b5ca1384fd0841b4700 52652 math optional acl2-emacs_6.3-2_all.deb 0cd4a20a13cf4a9d1e53bb84cf4caf3e 77554 math optional acl2-infix-source_6.3-2_all.deb a7f850039b9736d7b3c7cdf3d287654e 5431926 math optional acl2-books-source_6.3-2_all.deb f8dc15662ff9f94861bb2457e0945e38 3624140 math optional acl2-books-certs_6.3-2_all.deb 36b466255b4a4fd4d158183618c2556c 14388944 doc optional acl2-doc_6.3-2_all.deb 6642f6c057ed9b163544d6a19ff9af97 13906042 math optional acl2_6.3-2_i386.deb 0753862de57c1b30a63815887be71822 145864 math optional acl2-infix_6.3-2_i386.deb 5615f9239ea304af65f93557e37c2206 17517210 math optional acl2-books_6.3-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlJZW9kACgkQczG1wFfwRdycBQCfUOKYYa96lNUM7mWiZ5Qhudrn 0pwAnjf7SSmQtkRnMN7Cj19ZXUSH6lQj =yj0C -----END PGP SIGNATURE-----
