← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to .pc/applied-patches

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
.pc/applied-patches
1
 
consolidate-in-6.2
2
 
add-upstream-certificate-relocation-patch-to-other-events.lisp
3
 
grammar-reader-dependency-patch
4
 
abort-centaurvltop-if-insufficient-memory
 
1
remove-pcert-elementary-bounders-for-final-file
 
2
remove-pcert-local-elided-for-final-file