lp:ubuntu/jaunty/acl2

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

12. By Camm Maguire on 2008-08-24

* New upstream release
* Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to
  Lucas Nussbaum (Closes: #494328). New release works around compiler
  issue.
* Bug fix: "FTBFS when converted to new source format 3.0 (quilt)",
  thanks to <email address hidden></a>; (Closes: #482594). patches ->
  dpatches

11. By Peter Eisentraut on 2008-04-05

* Non-maintainer upload.
* Build depend on time, so that it works with shells other than bash
  (Closes: #459060).

10. By Michael Bienia on 2008-02-17

* debian/control:
  + Add time to Build-Depends (fixes FTBFS, LP: #185102).
  + Modify Maintainer value to match DebianMaintainerField spec.

9. By Camm Maguire on 2007-12-03

* New upstream release
* build-dep on latest gcl to get arm build
* Bug fix: "acl2&#39;s idea of the system book path is wrong", thanks to
  Sami Liedes (Closes: #440353). Apply suggested fix to wrapper script,
  Thanks!
* Bug fix: "acl2-emacs: please prefer emacs22", thanks to Tatsuya
  Kinoshita (Closes: #434915). prefer emacs22
* Bug fix: "acl2: not binNMU safe", thanks to Lior Kaplan (Closes:
  #430471). Apply suggested patch, Thanks!
* build-dep texlive-latex-recommended

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.