Ubuntu
acl2 package

ubuntu/+source/acl2:ubuntu/vivid-devel

  1. Git
  2. lp:ubuntu/+source/acl2
  3. ubuntu/vivid-devel
Last commit made on 2015-01-27
Get this branch:
git clone -b ubuntu/vivid-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:
ubuntu/vivid-devel
Repository:
lp:ubuntu/+source/acl2

Recent commits

eb33bc8... by Camm Maguire

7.0-1 (patches unapplied)

Imported using git-ubuntu import.

852089a... by Camm Maguire

6.5-5 (patches unapplied)

Imported using git-ubuntu import.

1364734... by Camm Maguire

6.5-4 (patches unapplied)

Imported using git-ubuntu import.

671ec84... by Camm Maguire

6.5-3 (patches unapplied)

Imported using git-ubuntu import.

9993acf... by Camm Maguire

6.5-2 (patches unapplied)

Imported using git-ubuntu import.

e64e901... by Camm Maguire

6.5-1 (patches unapplied)

Imported using git-ubuntu import.

afcad7b... by Camm Maguire

6.4-4 (patches unapplied)

Imported using git-ubuntu import.

3ea2d09... by Camm Maguire

6.4-3 (patches unapplied)

Imported using git-ubuntu import.

f2c0387... by Camm Maguire

6.4-2 (patches unapplied)

Imported using git-ubuntu import.

8125d2c... by Camm Maguire

6.4-1 (patches unapplied)

Imported using git-ubuntu import.