Ubuntu
acl2 package

Branches for Quantal

Name		Status	Last Modified	Last Commit
lp:ubuntu/quantal/acl2		2 Mature	2012-04-26 20:13:09 UTC 2012-04-26	24. * Bug fix: "unowned file /usr/local/s... Author: Camm Maguire Revision Date: 2012-04-20 12:59:26 UTC * 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
lp:~ubuntu-branches/ubuntu/quantal/acl2/quantal-201312111709		1 Development	2013-12-11 17:09:40 UTC 2013-12-11	24. * Bug fix: "unowned file /usr/local/s... Author: Camm Maguire Revision Date: 2012-04-20 12:59:26 UTC * 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