Accepted: acl2 3.3-1ubuntu1 (source)

[Michael Bienia]

Accepted:
 OK: acl2_3.3.orig.tar.gz
 OK: acl2_3.3-1ubuntu1.diff.gz
 OK: acl2_3.3-1ubuntu1.dsc
     -> Component: universe Section: math

-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.7
Date: Sun, 17 Feb 2008 00:01:22 +0100
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: 3.3-1ubuntu1
Distribution: hardy
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Michael Bienia <geser at ubuntu.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Launchpad-Bugs-Fixed: 185102
Changes: 
 acl2 (3.3-1ubuntu1) hardy; urgency=low
 .
   * debian/control:
     + Add time to Build-Depends (fixes FTBFS, LP: #185102).
     + Modify Maintainer value to match DebianMaintainerField spec.
Files: 
 3a6c74e161225057e6fe57bb09ae716f 1037 math optional acl2_3.3-1ubuntu1.dsc
 106334ce477ba575d8d29541362b7852 13693 math optional acl2_3.3-1ubuntu1.diff.gz
Original-Maintainer: Camm Maguire <camm at enhanced.com>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.8 (GNU/Linux)

iJwEAQEDAAYFAke3a5EACgkQo8/XfXduguoxJAQAy7MSSXC06j3g+xoLa45hcwUg
8Dsknh8o1Y6D2QyUrCddBa5ClORiB7JHGhzkfNJpxiAqMJnuvZYRWvz2YQcDfiZy
7Ul8auT83LW9/KNFhl5TqU2bI+F6o0YV2XcluWgayetVAbUn3ke+PUwecV3u+11u
M/KF9Ee3TSpmA/zgIe4=
=6mwY
-----END PGP SIGNATURE-----