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

[Graham Inggs]

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

  * Rebuild against gcl and readline

Date: Mon, 26 Sep 2016 17:10:30 +0200
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/acl2/7.2dfsg-2build2
-------------- next part --------------
Format: 1.8
Date: Mon, 26 Sep 2016 17:10:30 +0200
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-2build2
Distribution: yakkety
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Graham Inggs <ginggs 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-2build2) yakkety; urgency=medium
 .
   * Rebuild against gcl and readline
Checksums-Sha1:
 b2b98d7bd92f61310e408a10d9e47449aea8b214 2255 acl2_7.2dfsg-2build2.dsc
 cd2c1c691fd331592486e97402ee45056dd0756f 204020 acl2_7.2dfsg-2build2.debian.tar.xz
Checksums-Sha256:
 342d5d608c4c3a0e0d21d8d6e9097e149714480a8fd49676307b9e255a7ccc2f 2255 acl2_7.2dfsg-2build2.dsc
 c01920becf444e5e0b1ee1f7fdba8121c731fa54b829fda8a205724174fbf33e 204020 acl2_7.2dfsg-2build2.debian.tar.xz
Files:
 f6e76e4f03f596850a379e080646b8f2 2255 math optional acl2_7.2dfsg-2build2.dsc
 e8c8cd4a86475df59278e880d373d48a 204020 math optional acl2_7.2dfsg-2build2.debian.tar.xz