Ubuntu
acl2 package

lp:ubuntu/gutsy/acl2

Created by James Westby on 2009-12-19 and last modified on 2009-12-19

Members of Ubuntu branches can upload to this branch. Log in for directions.

8. By Camm Maguire on 2007-05-17: New upstream release
7. By Camm Maguire on 2006-12-04: New upstream release
6. By Camm Maguire on 2006-10-19: Fix dlopen.lisp.in
5. By Camm Maguire on 2006-06-10: * New upstream release
* acl2-books-source and acl2-books-certs depend on mathcing version of
acl2, Closes: #339032.
* Fix emacs startup for xemacs -- remove error only, no autosetup of
tags table for xemacs, appears impossible. Closes: #349401
4. By Camm Maguire on 2005-10-20: build depend on >= gcl-2.6.7-11 to get default maxpage fix for amd64,
Closes: #323666.
3. By Camm Maguire on 2004-11-05: Don't strip saved_acl2 on powerpc, see #210809.
2. By Camm Maguire on 2004-05-31: Bug fix: "FTBFS: missing Build-Depends binutils-dev", thanks to Goswin
von Brederlow (Closes: #251695). Make build-depends on binutils-dev
valid for all platforms
1. By Camm Maguire on 2004-05-31: Import upstream version 2.8

This branch contains Public information

Everyone can see this information.