lp://staging/ubuntu/raring-proposed/acl2

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

26. By Camm Maguire on 2013-01-13

HOME="/tmp" environment for make DOC

25. By Camm Maguire on 2013-01-07

New upstream release

24. By Camm Maguire on 2012-08-24

* New upstream release
* books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz
* Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
  <email address hidden></a>; (Closes: #682719).

23. By Camm Maguire on 2012-04-20

* Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
  6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
* Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
  expected expression before &#39;)&#39; token", thanks to Lucas
  Nussbaum (Closes: #669442). Build-dep on latest gcl

22. By Camm Maguire on 2012-01-20

* remove special NO_STRIP for ppc
* multiply-stacks by 4 on #-native-reloc
* Bug fix: "Please add support for build-arch and build-indep targets",
  thanks to Niels Thykier (Closes: #647919).

21. By Camm Maguire on 2012-01-09

New upstream release

20. By Camm Maguire on 2011-05-13

New upstream release

19. 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

18. By Camm Maguire on 2010-10-27

build dep on latest gcl

17. 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).