[ubuntu/yakkety-proposed] acl2 7.2dfsg-2build1 (Accepted)

[Matthias Klose]

acl2 (7.2dfsg-2build1) yakkety; urgency=medium

  * No-change rebuild for readline soname change.

Date: Sat, 17 Sep 2016 11:57:00 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/acl2/7.2dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 17 Sep 2016 11:57:00 +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
Version: 7.2dfsg-2build1
Distribution: yakkety
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
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 (7.2dfsg-2build1) yakkety; urgency=medium
 .
   * No-change rebuild for readline soname change.
Checksums-Sha1:
 57fac80d8ef034d1332763dd8a82dc3f119cd86c 2261 acl2_7.2dfsg-2build1.dsc
 b35c77dec92635ad4ccc53038d15cc779252936b 203940 acl2_7.2dfsg-2build1.debian.tar.xz
Checksums-Sha256:
 ac84c2d5c631ebd00d48781dde539559cb40b51f9a8dd519122bc51300c705aa 2261 acl2_7.2dfsg-2build1.dsc
 717a1f8c98ef50d3074ab30e76b84e1a8ea1f30a883c8a40d8d420d026d6f608 203940 acl2_7.2dfsg-2build1.debian.tar.xz
Files:
 458c9c0f33bd28c0d9d72c821ab0f00b 2261 math optional acl2_7.2dfsg-2build1.dsc
 94c5b337369c4db95a57c487c0587b7b 203940 math optional acl2_7.2dfsg-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQItBAEBCAAXBQJX3TOvEBxkb2tvQHVidW50dS5jb20ACgkQvX6qYHePpvWT9Q/+
K4iVc/Js+yAWoGL4GG6T883uZfPSqEyIJIW6Tp1S3wKzJNW7p//FAv2T+z+0dtum
IbQusQPEghOt84FFJ5TAtm6jhvnWJ1aggm29ST4APQNGNtn3KBXXy2aXTnCdJ8SR
lmivGjsVXtJmc6yomguKjmesw7jxi6Il99vtfvFWLCtDIWPnQLMH+zWNpzChs+rS
p8zpBcaAbUsGz38y6ifXTYgU4Elo80mkpnH9uE6ZKFWr4cc+ryRhZfxNzVTSYcQ7
yUaZAv/fRhNCDVBVpFtN5Hx9ufBHrAj+VPgvoIAXIVxwueDM20azK70YaDcJiGG3
un8PZpfwyaVlJSktMjzPFlV4ZzFLpDSoYMydL5tE+jFLVLSLZYi9z9mINXNe2jUw
n8Jy/kOTTrbsz7p3b9EWGlNtC/mphyl3RbOQBs88J9UlS9k0Ts5Twoggw5V0E/xM
3kGF+YiBWV/RcKOEbtOCHcFwN0eBMEQ/rTK5/diiAf00/V13044KTiAQDWLRFGTv
dmXKrgaybb4BZtdKWA8oc29+nO6YHOFmU1ZwvAcf1mp7UNb6wmAZ28mwaM5lfSdK
uJy8l2Etd1/cFCAOsRLt+2/YAS8iIzZWbn1bQslVjJq7sFtfHHFVPPFLtZXfiHlf
0lFXB8gLkKDJQmF9blS5Sh4IaoKXttZD+93HT+9HGok=
=wVww
-----END PGP SIGNATURE-----