Viewing all changes in revision 21.
- Committer: Bazaar Package Importer
- Date: 2010-11-05 16:19:11 UTC
- mfrom: (3.2.15 sid)
- Revision ID: james.westby@ubuntu.com-20101105161911-v5trph3o39yv1rv7
* build depend on latest gcl
* turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
* remove unnecessary patch from serialize-tests.lisp
* turn off si::*optimize-maximum-pages* in reverse-by-separation.acl2
* remove unnecessary patch from serialize-tests.lisp
- files added:
- .pc/debian-changes-4.1-5
- .pc/debian-changes-4.1-5/books
- .pc/debian-changes-4.1-5/books/misc
- .pc/debian-changes-4.1-5/books/misc/misc2
- .pc/debian-changes-4.1-5/books/serialize
- files modified:
- .pc/applied-patches
expand all
collapse all
added
removed
