Ubuntu
acl2 package

ubuntu/+source/acl2:applied/ubuntu/quantal-devel

Git
lp:ubuntu/+source/acl2
applied/ubuntu/quantal-devel

Last commit made on 2012-04-21

Get this branch:: git clone -b applied/ubuntu/quantal-devel 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/ubuntu/quantal-devel

Repository:: lp:ubuntu/+source/acl2

Recent commits

7d3e7f4... by Camm Maguire on 2012-04-20

4.3-3 (patches applied)

Imported using git-ubuntu import.

eb7a63b... by Camm Maguire on 2012-04-20

<short summary of the patch>

Gbp-Pq: 4.3a.

9bd0f9a... by Camm Maguire on 2012-04-20

<short summary of the patch>

Gbp-Pq: 4.3.

31609e1... by Camm Maguire on 2012-04-20

Upstream changes introduced in version 4.1-5

Gbp-Pq: debian-changes-4.1-5.

b897ac7... by Camm Maguire on 2012-04-20

4.3-3 (patches unapplied)

Imported using git-ubuntu import.

0a71cd9... by Camm Maguire on 2012-01-20

4.3-2 (patches applied)

Imported using git-ubuntu import.

1f7ae11... by Camm Maguire on 2012-01-20

4.3-2 (patches unapplied)

Imported using git-ubuntu import.

6dea2f2... by Camm Maguire on 2012-01-20

<short summary of the patch>

Gbp-Pq: 4.3a.

d5e9d46... by Camm Maguire on 2012-01-20

<short summary of the patch>

Gbp-Pq: 4.3.

8fa3fd3... by Camm Maguire on 2012-01-20

Upstream changes introduced in version 4.1-5

Gbp-Pq: debian-changes-4.1-5.

»