Accepted acl2 2.7-8 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu,  5 Feb 2004 15:22:05 +0000
Source: acl2
Binary: acl2-doc acl2
Architecture: source i386 all
Version: 2.7-8
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description: 
 acl2       - Applicative Common Lisp: A Computational Logic
 acl2-doc   - Documentation for acl2
Changes: 
 acl2 (2.7-8) unstable; urgency=low
 .
   * Fix bad directory names pertaining to earlier version
   * Capitalize ACL2 in doc-base file
   * Cleanup copyright file
   * Replace build directory with install directory in cert files
   * Apply fix to proof-checker-b.lisp
   * Add a placeholder manpage
   * remove dh-make template files
   * newer standards
   * dh_compat 4
   * cleanup gcl build dependencies
   * build-depend on >= gcl-2.6.1-23 for readline fixes
   * debian/patches mechanism to build cert files with correct pathnames at
     time of installation
   * README.Debian clarifying ACL2 vs. ACL2(r)
   * Patch to banner indicating binary includes corrected proof-checker.lisp
   * Remove Makefiles from distribution, replace with .acl2 files as
     discussed with upstream
   * Add bdd/bit-vector-reader.lsp and bdd/be/* files to distribution as
     requested by upstream
   * Add TAGS file for source perusal, and modify tags-table-list in
   emacs startup file
   * distribute lisp files in interface/infix
   * Protect interface/infix/sloop.lisp with #-gcl and restore to
     distribution and makefile
   * doinfix an acl2 example
   * Add emacs/doc-notes.txt as acl2 doc file
   * Add note in man page about availability of online documentation
   * Add .txt and .html files from books/textbook to acl2-doc package
   * mv CLI.sty into /usr/share/texmf/tex/latex, run texhash on postinst
     and postrm, and depend on tetex-extra
   * updated fsf address in copyright file
   * gathered all patches outside the debian/ subdir into patches.in, so
     that apt-get -q source acl2 will produce a pristine tree for the user
     as requested upstream.
   * Add table of source and binary file locations in README.Debian as
     requested by upstream
   * Updated watch file for new upstream links
Files: 
 9a24f32042a38e39ba0db22f56785f60 727 math optional acl2_2.7-8.dsc
 15f00d0e432ad0f50d4e2bc0c0963fe3 34009 math optional acl2_2.7-8.diff.gz
 e109591a9f99011342ed1bf8ce523ea2 1590556 doc optional acl2-doc_2.7-8_all.deb
 a2ab626d9140d504b2b430c771abf075 10056186 math optional acl2_2.7-8_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAIpMaczG1wFfwRdwRAsT3AJ91qeCnSkpdh2kVyVpWDHtrPhM1ugCffV2h
NWwem8tqe3Z3A4gPJZoUuE0=
=tRl2
-----END PGP SIGNATURE-----


Accepted:
acl2-doc_2.7-8_all.deb
  to pool/main/a/acl2/acl2-doc_2.7-8_all.deb
acl2_2.7-8.diff.gz
  to pool/main/a/acl2/acl2_2.7-8.diff.gz
acl2_2.7-8.dsc
  to pool/main/a/acl2/acl2_2.7-8.dsc
acl2_2.7-8_i386.deb
  to pool/main/a/acl2/acl2_2.7-8_i386.deb