Ubuntu
acl2 package

ubuntu/+source/acl2:applied/debian/jessie

  1. Git
  2. lp:ubuntu/+source/acl2
  3. applied/debian/jessie
Last commit made on 2014-09-08
Get this branch:
git clone -b applied/debian/jessie https://git.launchpad.net/ubuntu/+source/acl2
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/debian/jessie
Repository:
lp:ubuntu/+source/acl2

Recent commits

5c6d8d9... by Camm Maguire

6.5-2 (patches applied)

Imported using git-ubuntu import.

e306f74... by Camm Maguire

<short summary of the patch>

Gbp-Pq: grammar-reader-dependency-patch.

a283bf5... by Camm Maguire

<short summary of the patch>

Gbp-Pq: add-upstream-certificate-relocation-patch-to-other-events.lisp.

16c5fb4... by Camm Maguire

<short summary of the patch>

Gbp-Pq: consolidate-in-6.2.

9993acf... by Camm Maguire

6.5-2 (patches unapplied)

Imported using git-ubuntu import.

f04b3dd... by Camm Maguire

6.5-1 (patches applied)

Imported using git-ubuntu import.

e64e901... by Camm Maguire

6.5-1 (patches unapplied)

Imported using git-ubuntu import.

a37edca... by Camm Maguire

<short summary of the patch>

Gbp-Pq: grammar-reader-dependency-patch.

e963408... by Camm Maguire

<short summary of the patch>

Gbp-Pq: add-upstream-certificate-relocation-patch-to-other-events.lisp.

a606436... by Camm Maguire

<short summary of the patch>

Gbp-Pq: consolidate-in-6.2.