Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
remove-pcert-elementary-bounders-for-final-file | fix elementary-bounders .final filepcert appears to interfere with the certification path renaming mechanism. This patch was suggested by upstream as a workaround. . acl2 (7.0-1) unstable; urgency=medium . * New upstream release |
Camm Maguire <camm@debian.org> | no | |||
remove-pcert-local-elided-for-final-file | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . acl2 (7.0-1) unstable; urgency=medium . * New upstream release |
Camm Maguire <camm@debian.org> | no | |||
do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . acl2 (8.0dfsg-1) unstable; urgency=medium . * New upstream release * Applied dfsg changes from 7.1 |
Camm Maguire <camm@debian.org> | no | |||
compile_with_split_files | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . acl2 (8.2dfsg-3) unstable; urgency=medium . * revert -2, set *split-files* to 100000 instead |
Camm Maguire <camm@debian.org> | no | |||
UTF-8-encoding | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . acl2 (8.3dfsg-2) unstable; urgency=medium . * certify-books -> regression-fresh * debhelper-compat ( = 13 ) * standards 4.5.0 * ISO-8859-16 -> UTF-8 * watch version 4 * lintian override: rfc2388.txt is not a license file * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok |
Camm Maguire <camm@debian.org> | no | |||
remove-w3-validation-badge | <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph with a longer explanation of this change. Complete the meta-information with other relevant fields (see below for details). To make it easier, the information below has been extracted from the changelog. Adjust it or drop it. . acl2 (8.3dfsg-2) unstable; urgency=medium . * certify-books -> regression-fresh * debhelper-compat ( = 13 ) * standards 4.5.0 * ISO-8859-16 -> UTF-8 * watch version 4 * lintian override: rfc2388.txt is not a license file * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok |
Camm Maguire <camm@debian.org> | no |