lp:ubuntu/trusty/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-10-18

rebuild against latest gcl

25. By Camm Maguire on 2013-07-29

fix elementary-bounders.acl2

24. 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 ')' token", thanks to Lucas
  Nussbaum (Closes: #669442). Build-dep on latest gcl

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

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