Ubuntu
acl2 package

View Bazaar branches
Get this repository:
git clone https://git.not.enabled/ubuntu/+source/acl2
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
ubuntu/edgy-devel 2006-06-15 17:47:42 UTC
3.0-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2006-06-10 17:42:09 UTC

3.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/edgy 2006-06-15 17:47:42 UTC
3.0-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2006-06-10 17:42:09 UTC

3.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/dapper-devel 2005-12-21 16:13:45 UTC
2.9.3-7 (patches applied)

Author: Camm Maguire
Author Date: 2005-10-20 12:46:17 UTC

2.9.3-7 (patches applied)

Imported using git-ubuntu import.
ubuntu/dapper 2005-12-21 16:13:45 UTC
2.9.3-7 (patches unapplied)

Author: Camm Maguire
Author Date: 2005-10-20 12:46:17 UTC

2.9.3-7 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/dapper-devel 2005-12-21 16:13:45 UTC
2.9.3-7 (patches unapplied)

Author: Camm Maguire
Author Date: 2005-10-20 12:46:17 UTC

2.9.3-7 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/dapper 2005-12-21 16:13:45 UTC
2.9.3-7 (patches applied)

Author: Camm Maguire
Author Date: 2005-10-20 12:46:17 UTC

2.9.3-7 (patches applied)

Imported using git-ubuntu import.
ubuntu/breezy 2005-12-21 04:39:14 UTC
2.9.3-5build1 (patches unapplied)

Author: Stephan Rügamer
Author Date: 2005-10-08 18:09:47 UTC

2.9.3-5build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/breezy 2005-12-21 04:39:14 UTC
2.9.3-5build1 (patches applied)

Author: Stephan Rügamer
Author Date: 2005-10-08 18:09:47 UTC

2.9.3-5build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/breezy-devel 2005-12-21 04:39:14 UTC
2.9.3-5build1 (patches unapplied)

Author: Stephan Rügamer
Author Date: 2005-10-08 18:09:47 UTC

2.9.3-5build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/breezy-devel 2005-12-21 04:39:14 UTC
2.9.3-5build1 (patches applied)

Author: Stephan Rügamer
Author Date: 2005-10-08 18:09:47 UTC

2.9.3-5build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hoary-devel 2005-12-20 20:37:09 UTC
2.9-2 (patches applied)

Author: Camm Maguire
Author Date: 2004-11-05 21:39:50 UTC

2.9-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/hoary 2005-12-20 20:37:09 UTC
2.9-2 (patches unapplied)

Author: Camm Maguire
Author Date: 2004-11-05 21:39:50 UTC

2.9-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hoary-devel 2005-12-20 20:37:09 UTC
2.9-2 (patches unapplied)

Author: Camm Maguire
Author Date: 2004-11-05 21:39:50 UTC

2.9-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hoary 2005-12-20 20:37:09 UTC
2.9-2 (patches applied)

Author: Camm Maguire
Author Date: 2004-11-05 21:39:50 UTC

2.9-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/warty 2005-12-20 14:13:10 UTC
2.8-4 (patches unapplied)

Author: Camm Maguire
Author Date: 2004-05-31 18:32:56 UTC

2.8-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/warty-devel 2005-12-20 14:13:10 UTC
2.8-4 (patches applied)

Author: Camm Maguire
Author Date: 2004-05-31 18:32:56 UTC

2.8-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/warty 2005-12-20 14:13:10 UTC
2.8-4 (patches applied)

Author: Camm Maguire
Author Date: 2004-05-31 18:32:56 UTC

2.8-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/warty-devel 2005-12-20 14:13:10 UTC
2.8-4 (patches unapplied)

Author: Camm Maguire
Author Date: 2004-05-31 18:32:56 UTC

2.8-4 (patches unapplied)

Imported using git-ubuntu import.
201 → 218 of 218 results First • • Next • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/acl2 2023-06-02
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for acl2 in Ubuntu.