Accepted acl2 2.9.2-1 (source)

Ubuntu Archive Auto-Sync katie at jackass.ubuntu.com
Mon Jun 13 07:00:11 CDT 2005


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

Origin: Debian/unstable
Format: 1.7
Date: Mon,  13 Jun 2005 12:43:47 +0100
Source: acl2
Binary: acl2-books-source, acl2-infix, acl2-books, acl2-books-certs, acl2-doc, acl2, acl2-emacs, acl2-infix-source, acl2-source
Architecture: source
Version: 2.9.2-1
Distribution: breezy
Urgency: low
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
Changes: 
 acl2 (2.9.2-1) unstable; urgency=low
 .
   * New upstream release
Files: 
 31a0b46b38f748ca8c1c58a9da748611 14075 math optional acl2_2.9.2-1.diff.gz
 eab8503fc8dc76283255f488ae8d41a6 800 math optional acl2_2.9.2-1.dsc
 c513936579e3527a4952409df8c708c5 5352740 math optional acl2_2.9.2.orig.tar.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQq1xcwF4adwMEr3XAQIJ1wf/TK1gFjayYJVuRPnB2cBEaxJLYFJ7MDLt
ubKpKe6CZPsiYWwOkTnfO3GoMN6YIFKZx9eZlAv8/Ibv0PzW1oLMvli2J26nUNG3
2cnz7Ezm76xx2bDwYtg554FY+MmJp89puk5CdVvlGD8Sgn8qry7wpRKb/nox2uW4
JIExlILnyJNk3hWORl5KeQqD+c/rkLygw723Zrzmg2pzYCGgeZXFDBiF7A585jCM
UR5z+rHtKvIekUzJtcP89pwz/d7CgTOFqQMEzD7wJZpFn5tKwEyE9tU5K7+VYKhu
40QK4Pb0zs+BmY3WJJg5yMPif9oKmvtAupbYnf9ztWhyfU7h1WpUMg==
=w0OZ
-----END PGP SIGNATURE-----


Accepted:
acl2_2.9.2-1.diff.gz
  to pool/universe/a/acl2/acl2_2.9.2-1.diff.gz
acl2_2.9.2-1.dsc
  to pool/universe/a/acl2/acl2_2.9.2-1.dsc
acl2_2.9.2.orig.tar.gz
  to pool/universe/a/acl2/acl2_2.9.2.orig.tar.gz




More information about the ubuntu-changes-auto mailing list