Ubuntu
acl2 package

ubuntu/+source/acl2:applied/ubuntu/raring

Git
lp:ubuntu/+source/acl2
applied/ubuntu/raring

Last commit made on 2013-01-14

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

Repository:: lp:ubuntu/+source/acl2

Recent commits

4df2dcc... by Camm Maguire on 2013-01-13

6.0-2 (patches applied)

Imported using git-ubuntu import.

fc770c1... by Camm Maguire on 2013-01-13

<short summary of the patch>

Gbp-Pq: patches.in-replacement.

90add9f... by Camm Maguire on 2013-01-13

<short summary of the patch>

Gbp-Pq: 4.3.

a9bed76... by Camm Maguire on 2013-01-13

Upstream changes introduced in version 4.1-5

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

c521db5... by Camm Maguire on 2013-01-13

6.0-2 (patches unapplied)

Imported using git-ubuntu import.

d4c75c6... by Camm Maguire on 2013-01-07

6.0-1 (patches applied)

Imported using git-ubuntu import.

e331064... by Camm Maguire on 2013-01-07

6.0-1 (patches unapplied)

Imported using git-ubuntu import.

a49c387... by Camm Maguire on 2013-01-07

<short summary of the patch>

Gbp-Pq: patches.in-replacement.

7f694b9... by Camm Maguire on 2013-01-07

<short summary of the patch>

Gbp-Pq: 4.3.

ba7d70d... by Camm Maguire on 2013-01-07

Upstream changes introduced in version 4.1-5

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

»