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