Ubuntu
acl2 package

lp:ubuntu/oneiric/acl2

Created by James Westby on 2011-04-28 and last modified on 2011-05-13

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

22. By Camm Maguire on 2011-05-13: New upstream release
21. By Camm Maguire on 2010-11-05: * build depend on latest gcl
* turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
* remove unnecessary patch from serialize-tests.lisp
20. By Camm Maguire on 2010-10-27: build dep on latest gcl
19. By Camm Maguire on 2010-10-20: * build-dep latest gcl
* Bug fix: "FTBFS on mips: Terminated", thanks to Cyril Brulebois
(Closes: #599946).
* Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
violation..", thanks to Cyril Brulebois (Closes: #599998).
18. By Camm Maguire on 2010-09-23: * build-dep latest gcl
* Bug fix: "FTBFS (powerpc): ls: cannot access
tiny.cert: No such file or directory", thanks to Philipp Kern (Closes:
#597278).
17. By Camm Maguire on 2010-07-09: compile nats to avoid invocation stack overflow on #-native-reloc
machines
16. By Camm Maguire on 2010-06-10: * Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
Andreas Barth (Closes: #585405).
* lintian fixes
15. By Camm Maguire on 2010-06-06: New upstream release
14. By Camm Maguire on 2010-01-11: Bug fix: "FTBFS [hppa] - **CERTIFICATION FAILED** for ram2b.lisp",
thanks to dann frazier (Closes: #564247).
13. By Camm Maguire on 2009-02-23: * New maintainer address
* sparc sgc workaround -- disable sgc here only

This branch contains Public information

Everyone can see this information.