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 <[email protected]> Maintainer: Camm Maguire <[email protected]> https://launchpad.net/ubuntu/+source/acl2/7.2dfsg-2build2
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 <[email protected]> Changed-By: Graham Inggs <[email protected]> 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
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
