[ubuntu/disco-proposed] acl2 8.0dfsg-1build1 (Accepted)

[Matthias Klose]

acl2 (8.0dfsg-1build1) disco; urgency=medium

  * No-change rebuild for readline soname change.

Date: Tue, 15 Jan 2019 10:25:21 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/acl2/8.0dfsg-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Jan 2019 10:25:21 +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: 8.0dfsg-1build1
Distribution: disco
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 (8.0dfsg-1build1) disco; urgency=medium
 .
   * No-change rebuild for readline soname change.
Checksums-Sha1:
 e8dcd66cb14db9b0821d7462a9985225becc63cf 2294 acl2_8.0dfsg-1build1.dsc
 e07e2ac218868da28cd9c05a95211ecdf6e7c8ab 204812 acl2_8.0dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 8dfa3685a17e64929fab11a7c5c729012a6236180fae8ac5ed7917b4ad089227 2294 acl2_8.0dfsg-1build1.dsc
 08b9faf3b4d477765fbca943e711f2ce61d31ebd8ee74eafbf8aaa179d7acf42 204812 acl2_8.0dfsg-1build1.debian.tar.xz
Files:
 a749b83ea2b8772d9c822d4c833e98e7 2294 math optional acl2_8.0dfsg-1build1.dsc
 364254fdfe107d048c0093b754f5b38a 204812 math optional acl2_8.0dfsg-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw9vggQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9f4ED/wKuEcAMa9bdEX0jq36XK6TEblSXi/4DPet
5VtvhxMnNqlG2U75um2fkVjvHsvjIn+e7MxCwW5Q9YZdPP/H/c/ZMnncncZO/yR4
QpE25r+SEHfbFuKVNYN21uQ1qXVanwyUeeqLdkcf7dQcXfdYC3KffjiV1SpmvR2b
t/b3zL9v1063iJppjZ5jHTs7fr4Xce+vVAg6IoKEzwPTQHYYaw8ieLc2y4FuCTzZ
3Izp2aqXhN2hJEDwek2Fj3GPE8X3WU2dyxr06Rexygd6kgvMMVK3VxPu67/GWiWx
RPGtB/2YnCCGKdv8fucnr7ySWurhxXhib5R/4cp+xlQWCUiJlTBZTm7sUnT7dijs
4aUXyrCIUb+u6Lv60fPiF4vsmG7S0LhvgxMq6QxuzJCYCampBsY53dZEyFeuiL3Y
eMpl+edSio1iSgb8JMXf9CFWPdtsLbP9ioeZ94hsN1vn35+MlHz0tU+jRupIBOHK
IWaXed7FmtynZGjwKCwYZWWUt9SHmQB6oDXLxfDFm/2aYJA16PU6blWNQo1U7EN7
BItn5CKxLVd67naRr7KRyhmp7LJEckWpuJqDmG9YD5QASO6G1v9UlRaF2PdC8Ww/
+o1IznXFZdpbOkfu3dI3SGxzR58rn9ugt8lJ0/mYEDjTpHq0KRlKEoPMYoZAB1Co
d/Lx6vKj6w==
=5gS+
-----END PGP SIGNATURE-----