lp:ubuntu/wily/acl2

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

32. By Camm Maguire on 2015-01-16

New upstream release

31. By Camm Maguire on 2014-10-26

fix syntax error in debian/rules

30. By Camm Maguire on 2014-08-20

build-dep latest gcl

29. By Camm Maguire on 2014-05-15

parse and use parallel keyword in DEB_BUILD_OPTIONS

28. By Camm Maguire on 2014-05-09

* set HOME in rule to build saved_acl2.c
* Bug fix: "not buildable on buildds on some architectures", thanks to
  Ivo De Decker (Closes: #747286).

27. By Camm Maguire on 2014-05-07

* certify-books run with -j 8 -l 2.95
* Bug fix: "Process running beyond build (missing escape in
  debian/rules)", thanks to Michael Tautschnig (Closes: #746203).
* build-dep latest gcl

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