Back to acl2 PTS page

Accepted acl2 6.5-5 (source all amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 26 Oct 2014 12:51:22 -0400
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: 6.5-5
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@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
Changes:
 acl2 (6.5-5) unstable; urgency=medium
 .
   * fix syntax error in debian/rules
Checksums-Sha1:
 5ae64c82e4ce63674b86d2b99ec193ae10950523 1809 acl2_6.5-5.dsc
 ab6b7b3bd3ea702b49673e0694b453b1b2002c50 128484 acl2_6.5-5.debian.tar.xz
 8d09151e080f19b6e732aab7efadec18a46fb6e1 2764758 acl2-source_6.5-5_all.deb
 2b6662fcf7cfb12dc747eca5301b825d16c9948b 60996 acl2-emacs_6.5-5_all.deb
 a4f187fc60a2946b19175e205da3f3b8f18028ee 79612 acl2-infix-source_6.5-5_all.deb
 358d7eef73e8dccd5982cf324a2daf7c40452c54 6957536 acl2-books-source_6.5-5_all.deb
 7822e53439e2af86a27f38f179d865259a2b2fe5 6498168 acl2-books-certs_6.5-5_all.deb
 6683280697f4671b1d67397537a307b2539c8af8 1672194 acl2-doc_6.5-5_all.deb
 847774a491f4e463743a6abc036868dd54519a40 15583778 acl2_6.5-5_amd64.deb
 da9f2bfb5838e6005b3d2451c0d75b99459bf377 153136 acl2-infix_6.5-5_amd64.deb
 8cdc07bea8d9d3c96fdb382f1af181df5b7d18db 23198450 acl2-books_6.5-5_amd64.deb
Checksums-Sha256:
 2f44664d1502cc4d219d523c874d59c8c84c0f1a0af62cce12c7b912672602ca 1809 acl2_6.5-5.dsc
 7424d4ed20ee69742bae0f694bbb46b8dc87ec739cb50cd7f7d8f4a6356b98ff 128484 acl2_6.5-5.debian.tar.xz
 18b03c441be72699d7cba14737964ee9bfeefb30b927e7a6a28a1449656390e6 2764758 acl2-source_6.5-5_all.deb
 b0d9a9d696c55d2000b28ab4796002acf63dd41392a336bad90b6df209c884c1 60996 acl2-emacs_6.5-5_all.deb
 67ef372527b61a5f8187d22dc493c3ebb3579003700ee5c1cb5a17078afcb246 79612 acl2-infix-source_6.5-5_all.deb
 e70dae2cba35513d41d99d7189941da5a57790c1192aef0f26b6b2faea6b800f 6957536 acl2-books-source_6.5-5_all.deb
 b653192fdd47ae357015481c5401a253aafb450387ac2cb37d300b5a4f264686 6498168 acl2-books-certs_6.5-5_all.deb
 7762741e1e1c95dfccbc975a2dc84043d5ea3cc605a7ef6a878d85a394802be5 1672194 acl2-doc_6.5-5_all.deb
 1c14c4f3935316a74e7bcff8c6090b7b6c9c789ff3ecf0f6045aee989c8fe2ca 15583778 acl2_6.5-5_amd64.deb
 11ddbd8ad529d78592687aae9e8236eeade933dbb0cc478bb2a4e5f21b0608b9 153136 acl2-infix_6.5-5_amd64.deb
 8e862e6e6121d5218d39bca4b0358d83634682fdc01f2a1131740ee7082f385f 23198450 acl2-books_6.5-5_amd64.deb
Files:
 1bdcd4b44f3e692b4a9187b51aa167f1 1809 math optional acl2_6.5-5.dsc
 44ce1a3ef7f7c53b8e5c2747b6a61b30 128484 math optional acl2_6.5-5.debian.tar.xz
 4486022db9fdc117a94d21f0760d5735 2764758 math optional acl2-source_6.5-5_all.deb
 5e9c02b53c43bb7a535bed27e3ffb16f 60996 math optional acl2-emacs_6.5-5_all.deb
 0341416566f62ef1f28718937f3b86b7 79612 math optional acl2-infix-source_6.5-5_all.deb
 0f1856e9e28af94796f2f9cb6733476d 6957536 math optional acl2-books-source_6.5-5_all.deb
 dce361849f15a6977cb547be1a27d334 6498168 math optional acl2-books-certs_6.5-5_all.deb
 bd7a07655a3b7e6e608e3686630d5f7a 1672194 doc optional acl2-doc_6.5-5_all.deb
 1118a872bd0b82ecde2c6d8e1d62e542 15583778 math optional acl2_6.5-5_amd64.deb
 f7c87063cd8d60fe99569b85d14d9693 153136 math optional acl2-infix_6.5-5_amd64.deb
 fbd3630d19d85ff01b83ec2fbcbfaf93 23198450 math optional acl2-books_6.5-5_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlROR9oACgkQczG1wFfwRdx8hwCgkGk4uz2/jXqGOdihDOk8vtmv
K88AnRi1xmq1TYdV0AzPCFJTWn0MndPJ
=fYZy
-----END PGP SIGNATURE-----