Back to acl2 PTS page

Accepted acl2 6.3-2 (source all i386)



-----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-----