-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 28 May 2017 12:14:24 +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: 7.4dfsg-2 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <c...@debian.org> Changed-By: Camm Maguire <c...@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 Closes: 863224 Changes: acl2 (7.4dfsg-2) unstable; urgency=medium . * Set GCL_MULTIPROCESS_MEMORY_POOL for certifications * build-dep latest gcl for mips64el fix * Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón Martínez (Closes: #863224). * mxgot .acl2 files patch Checksums-Sha1: f8bed8d0fc317691d25971a61cdd1d2bcb83fc15 2231 acl2_7.4dfsg-2.dsc 6abd4170c480a2eae7a1a7041d6ada97007f0bf3 204868 acl2_7.4dfsg-2.debian.tar.xz cb64ea8430b76c03352bf4a0378c62662cd025d7 64532562 acl2-books-certs_7.4dfsg-2_all.deb ad9f71e2b4828bb9b128511ec89b69dcfa24fe36 11973182 acl2-books-source_7.4dfsg-2_all.deb 306ed2661d7f6e22d59c83d61a9523af92f37fa4 126103004 acl2-books_7.4dfsg-2_amd64.deb 270af28599f57282b32227f24016398dc97d8361 387526 acl2-doc_7.4dfsg-2_all.deb 7c2256e64d227788ff51ac0ce5bcddb875fa7bf9 66880 acl2-emacs_7.4dfsg-2_all.deb bca292677019b75c2c8401338b799c677af343d2 78966 acl2-infix-source_7.4dfsg-2_all.deb 4e59a89e0b059d5ea4b28441ac4d378e42d93d2b 426656 acl2-infix_7.4dfsg-2_amd64.deb 99a7a17f4151bff79f3a9c2836dd2244fb1f3ea3 3014412 acl2-source_7.4dfsg-2_all.deb dd08c6a3074075cd713d12d86f150f28dffe12b4 12926 acl2_7.4dfsg-2_amd64.buildinfo 777e4492a7bcae3641524b71aad3c828b8c94e74 18211568 acl2_7.4dfsg-2_amd64.deb Checksums-Sha256: 6dfcb6e750e997f6cc0412bea0e5afe75eaaccde48b0c93b8af19c801119856d 2231 acl2_7.4dfsg-2.dsc 719ca088aa259693fd9cec7123ec42a2e6f57a98df84ae01180cc9a2eac4b739 204868 acl2_7.4dfsg-2.debian.tar.xz bcc59f22886dcda73f8f5910bf0586c2bce9818519ebf9eccd68c4f706e0e5f1 64532562 acl2-books-certs_7.4dfsg-2_all.deb eba43163584bcca1d5a7b573a92c165de6658bd6e52f31363c28cc480e3b9f4c 11973182 acl2-books-source_7.4dfsg-2_all.deb 5fdc10acda1a0a78c1c21164f9a65565a570c19c54e674b957ce34b327d556c8 126103004 acl2-books_7.4dfsg-2_amd64.deb 25bf029720df98224225236690688cfef048e812d5816ef36389ab06f72a759d 387526 acl2-doc_7.4dfsg-2_all.deb 35ffde71b7cbb9ddd112779258423000360e4d89b0e1af8040801bb2de60bc81 66880 acl2-emacs_7.4dfsg-2_all.deb 916fce2ae0f1d9266065a70290448350fd4e894a0690b74f1c36fae274f7a6a5 78966 acl2-infix-source_7.4dfsg-2_all.deb 6b1337933ae874622f273b3c4e84252af7c4f0f1a666e6fc5d4f6d52fbab4baa 426656 acl2-infix_7.4dfsg-2_amd64.deb c67777535ad78212246079e18b4633e2dbb20db138c10dfbd1e2dd5c8d1942e3 3014412 acl2-source_7.4dfsg-2_all.deb ce18dd3a1467eea619a1813a6396b1dab69c4a25f0fc7b1e3bd778894912d992 12926 acl2_7.4dfsg-2_amd64.buildinfo 14380f0216c14cd5300ab6adce3d7b1b035a89303fb3643fe920876b13ab66c4 18211568 acl2_7.4dfsg-2_amd64.deb Files: be5d641af7ebee81029e787a4d338783 2231 math optional acl2_7.4dfsg-2.dsc 2e7366ede0109c3adf5371ba79d28bcc 204868 math optional acl2_7.4dfsg-2.debian.tar.xz 932c7a496f9b866c40a1be63355aa73c 64532562 math optional acl2-books-certs_7.4dfsg-2_all.deb e74b82298fa4ebc916ed206032c8eda3 11973182 math optional acl2-books-source_7.4dfsg-2_all.deb f8d53431a14839887950a6304b30aa01 126103004 math optional acl2-books_7.4dfsg-2_amd64.deb b04d8228e971e605452be4dd97304723 387526 doc optional acl2-doc_7.4dfsg-2_all.deb e86af55505dfc4ae989a6d5993292862 66880 math optional acl2-emacs_7.4dfsg-2_all.deb a54e4e5a9dbebe0348d26ed42055cac0 78966 math optional acl2-infix-source_7.4dfsg-2_all.deb f7e3566bedf36e51a22a818db3a02edd 426656 math optional acl2-infix_7.4dfsg-2_amd64.deb 0ed758f7a5e9a7fb1bf25a6148758c80 3014412 math optional acl2-source_7.4dfsg-2_all.deb 9e585558ce1b3ff99ce92d8e4e43dbc9 12926 math optional acl2_7.4dfsg-2_amd64.buildinfo c8c2866a6e21639490c06c43edc4677b 18211568 math optional acl2_7.4dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJZLmeVAAoJELhFzlEPm3FN02gQAJcLFCSIkaOcsUIDud9SGBUY k1DTbPRQY/ijjyUv14iz30R3XBXRgqDucEusCb2QHCADr1wRWSIc6Adj7HS1n210 r1cDsgO7D/mmvPxSdYM805ml0IqMIjEjtu2bluzyJ7CTZMmjvsEsQiCA7GVeYpBg DJC247xn6Sq/oeoMhcRtCI4jIvitvln0JQ1NH2DkVCFWsJe/y7asx+ZZbkPw/SBd Gqom7gJDxD15/AvpdNmUdpP+AxxGPNPAkY6OnxO6Ea84eXLXS69Ne2GMWecmVasO fHMh4Lfw1r7G3jvAuE2rzPMEkJmOKVvZY/nc1+mXcLIPEZt3ccwnbZ6is9QYDAc8 xiCDMEcIxmEW0OaTcrjWciwKgkDyDdeRaaQUNnBAYH0T0ycWd4te5aO4CK987b5W EU7D9dj2FS1/GC15DK8v12blbugywReoN6hm8lJwW15ejBQczq849R3YEX6CgJ6x pWuv2rnqiOrlz5FNyd+B/HTymbBlWGjN0Pz2VVpJCFZ556Ctl90rd8Ei8G/qK7x2 Cv9xQ/HlTv7AxPEucAnN5O9QfFkE35suIJwqSblspb9cQL0dXycvG8b+TFE03Dxy 0BN2iuMtes9o9b6cqEy8PN6g/tEcc9GVCssw2/d1qqlI2DC966geXVKj/zTcyAie ZLXx62I71H6EVvoUkkqj =5WEB -----END PGP SIGNATURE-----