Ubuntu
acl2 package

ubuntu/+source/acl2:ubuntu/xenial

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

Recent commits

7cce099... by Camm Maguire

7.1-1 (patches unapplied)

Imported using git-ubuntu import.

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.