[ubuntu/artful-proposed] acl2 7.4dfsg-2build1 (Accepted)

[Steve Langasek]

acl2 (7.4dfsg-2build1) artful; urgency=medium

  * No-change rebuild to pick up -fPIE compiler default in static
    libraries

Date: Fri, 02 Jun 2017 22:35:11 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/acl2/7.4dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 02 Jun 2017 22:35:11 +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.4dfsg-2build1
Distribution: artful
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Steve Langasek <steve.langasek 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.4dfsg-2build1) artful; urgency=medium
 .
   * No-change rebuild to pick up -fPIE compiler default in static
     libraries
Checksums-Sha1:
 68d3fdf0e84f7e8040505cda76870b8013a913cd 2237 acl2_7.4dfsg-2build1.dsc
 d260b1007901e0bafbff9a863afa9d4983addfbe 204852 acl2_7.4dfsg-2build1.debian.tar.xz
 9eea5035efd28ec174116beede5c89da92ef46e8 5791 acl2_7.4dfsg-2build1_source.buildinfo
Checksums-Sha256:
 8f6dd43dcfdc324e71ff6a8dfd726369ca0c443a38a6098ca6ecbe8066783aba 2237 acl2_7.4dfsg-2build1.dsc
 7bee9bc117a4281ce258edc148e6d8718ca165ddb8bb00bcf103821033d55c5e 204852 acl2_7.4dfsg-2build1.debian.tar.xz
 12fa8f7d378cd1fbb8c2626b05484d823392ffb514daa0663b015c4c801636a8 5791 acl2_7.4dfsg-2build1_source.buildinfo
Files:
 43f039ada43d9c6eaa98d5bf3fe04af6 2237 math optional acl2_7.4dfsg-2build1.dsc
 1eaf0beeb4fffee2eb2e5455bc32f108 204852 math optional acl2_7.4dfsg-2build1.debian.tar.xz
 c46bba6c10594f5b29fc2331f733684f 5791 math optional acl2_7.4dfsg-2build1_source.buildinfo

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

iQIcBAEBCgAGBQJZMehDAAoJEFaNMPMhshM9d/MQAJHjo5Kmu3Xs6v0IxqQDfS7i
siDeRpc8Ppk4lBSUzx0yJIqnRw4jT8c1Ft1lOFXL5drezNG7em6M2NuMZRZ9byd1
jWds85dhl3zbvItQYR8p88Jwc4C3sBMwuWdKOOJPGJO51p23mR5hNQ2y3+IIdy5g
RF+ecneK9K0/l4vbC3mTaKK2c3WUkiwJyFkEgTsip3znvW/DlkxsY701AOUlqPnl
UtLCaKErNZ4tEc6/2JCeJ0TMca/CHF2Dl96dVI5B3OZhML96gLyZk0yVuE0qo6Oi
+xWR8SfQIxh+a/fIPsLEYYnkOVXWe2QxPVTpVOSDtYAnHzZ9Xpxk3ouu9fozHh/K
+caWhYoX6e/M0Cw6vO+o91tO3t0WKAQ1HHaPJqijoLB8N9/XJQpoHwYWwZ4WPVgH
ddvfPasRmGMRDENzQ/NWlTKfr943V0l7PteD6Q/h/UPiGD4PhQrDzTAyAc3TVE7W
Ke136e1Cz8MpNgXwqy/XyZAVkHT/mXTzsNBg/4fxRMl7CdR+Xpepx82FBOQR+hhw
vBwQfaRhDGfJRUl28++vE9WSZ/2jyqr2WADpzA4tHCJ0PkVkEpE5Zq/zgN8ewKoR
vBv+neVfX2cMtA3yD9mTldegYaoQFQtI1+ZlgU8HzTQ2reuVGwsZq60o8n4aFJI6
iGQfO0SL+U96ApEa20qx
=emEr
-----END PGP SIGNATURE-----