-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: acl2 Binary: acl2, acl2-source, acl2-emacs, acl2-infix, acl2-infix-source, acl2-books, acl2-books-source, acl2-books-certs, acl2-doc Architecture: any all Version: 7.1dfsg-2 Maintainer: Camm Maguire <[email protected]> Standards-Version: 3.9.6 Build-Depends: gcl (>= 2.6.12-28), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Package-List: acl2 deb math optional arch=any acl2-books deb math optional arch=any acl2-books-certs deb math optional arch=all acl2-books-source deb math optional arch=all acl2-doc deb doc optional arch=all acl2-emacs deb math optional arch=all acl2-infix deb math optional arch=any acl2-infix-source deb math optional arch=all acl2-source deb math optional arch=all Checksums-Sha1: b80eeee6de81dc4a86bfe674e4578be2d26fdb71 38379756 acl2_7.1dfsg.orig.tar.gz 11bc5c69f8f372ceb392aef04d391a16ce5bc0ec 203600 acl2_7.1dfsg-2.debian.tar.xz Checksums-Sha256: 9187de3612fdc9bf06261c77f4fd8efbb59b13765c3fece56c736269879c0ac5 38379756 acl2_7.1dfsg.orig.tar.gz 428f09ac04d478135aec46d9688c475a889ff0a55633cae39ae7c2859bd1499c 203600 acl2_7.1dfsg-2.debian.tar.xz Files: 80021cf135b728d03bc03c7f6ae6a7a7 38379756 acl2_7.1dfsg.orig.tar.gz ffa8fc56d2c6c217f84a8970db3fc247 203600 acl2_7.1dfsg-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWMUUgAAoJELhFzlEPm3FNO4kQAI+1jB0xpexzlos4G5+jXrVA CQCMscUxmmluxTae1mh9tJtfb9XpeWM3hDhzEKzqv5UCb1FDsdcdwD18HQcYO7ZK g2i/coLALlBClQ5uERA8Bm6jlO6atZkGI/HSSIKm3PbYD135GP7JF2nhH/ZwYE0R 9SwF1QWR5pnrt2yH5FaUlg+L2wUvT0S5Oe/2WwNa4bOsVckG2SIPgGH+D0KOcUC4 nm0FFcrwvJnFjrSX5dlhmnzkfae27H/2Pf7DuTk58VkBWz3AtIZvQY/G6F38GFV1 SrPNtjv9AWRnq8CoD5wzjHBUFB+TaN9tEMgO4a/P5PkJIcNL+I0wNYD2UTYENhHu QM8k2uz19Ke1VQ84byu/j0LW2YGoyLYTFhyYb2V6XMXRzAQGQeCjSTfPO9rxiR5o +9cECfXDcVyTMeVv1mMetr+GASpEBSXIHvJmKGvgRQECk5bTcFV1X2v9NjBpJJXm IgaGLQW1bYYn4k8R7Yx4sxc+1F0yqJq3w/jmLAKxEnIMFWwC2ZqqnlYsqwvoRN4G LLwFm9ZISbAd0XiMBA1YL2TpVehgF7g8NmBvsOsztXBp0MwMvhfddKPvINIemEQp xkiEJYAq5SpB1QOVOEOeFJQwbEhp7rGjM4HbOhIeouGxw3SZc15h0voFRQpQZmt/ 5YOSUzGd5rNkojKpEvAt =fF0B -----END PGP SIGNATURE----- Changes: acl2 (7.1dfsg-2) unstable; urgency=medium * rebuild latest gcl, tail recursive equal works around setrlimit bug on s390 -- Camm Maguire <[email protected]> Tue, 27 Oct 2015 19:33:53 +0000