Index of /data/main/a/acl2/6.5-2/debian/patches

• Parent Directory
• (setq-si::*optimize-maximum-pages*-nil)-in-elementary-bounders.acl2
• 4.3
• 4.3a
• add-upstream-certificate-relocation-patch-to-other-events.lisp
• clean-interface
• consolidate-in-6.2
• debian-changes-4.1-5
• fix-elementary-bounders.acl2
• grammar-reader-dependency-patch
• interface-from-5.0
• patches.in-replacement
• series
• tight-memory-for-centaur-toplint