Ubuntu
acl2 package

View Bazaar branches
Get this repository:
git clone https://git.qastaging.paddev.net/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/hardy-devel 2008-02-16 23:05:05 UTC
3.3-1ubuntu1 (patches unapplied)

Author: Michael Bienia
Author Date: 2008-02-16 23:01:22 UTC

3.3-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hardy 2008-02-16 23:05:05 UTC
3.3-1ubuntu1 (patches unapplied)

Author: Michael Bienia
Author Date: 2008-02-16 23:01:22 UTC

3.3-1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/gutsy-devel 2007-05-21 09:03:02 UTC
3.2-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2007-05-17 14:41:35 UTC

3.2-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/gutsy 2007-05-21 09:03:02 UTC
3.2-1 (patches applied)

Author: Camm Maguire
Author Date: 2007-05-17 14:41:35 UTC

3.2-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/gutsy-devel 2007-05-21 09:03:02 UTC
3.2-1 (patches applied)

Author: Camm Maguire
Author Date: 2007-05-17 14:41:35 UTC

3.2-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/gutsy 2007-05-21 09:03:02 UTC
3.2-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2007-05-17 14:41:35 UTC

3.2-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/lenny 2006-12-06 15:03:05 UTC
3.1-1 (patches applied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches applied)

Imported using git-ubuntu import.
debian/lenny 2006-12-06 15:03:05 UTC
3.1-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/feisty 2006-12-06 15:03:05 UTC
3.1-1 (patches applied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/feisty-devel 2006-12-06 15:03:05 UTC
3.1-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/feisty 2006-12-06 15:03:05 UTC
3.1-1 (patches unapplied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/feisty-devel 2006-12-06 15:03:05 UTC
3.1-1 (patches applied)

Author: Camm Maguire
Author Date: 2006-12-04 15:35:42 UTC

3.1-1 (patches applied)

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

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

3.0-1 (patches applied)

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

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

3.0-1 (patches applied)

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.
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.
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.
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/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.
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/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.
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 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/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.
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-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.
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/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.
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.
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.
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.
201 → 232 of 232 results First • • Next • Last

Other repositories

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