Git : Code : acl2 package : Ubuntu

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
applied/ubuntu/zesty-devel	2016-10-18 04:12:02 UTC 2016-10-18	7.2dfsg-3 (patches applied) Author: Camm Maguire Author Date: 2016-10-15 11:39:07 UTC 7.2dfsg-3 (patches applied) Imported using git-ubuntu import.
applied/debian/stretch	2016-10-18 04:12:02 UTC 2016-10-18	7.2dfsg-3 (patches applied) Author: Camm Maguire Author Date: 2016-10-15 11:39:07 UTC 7.2dfsg-3 (patches applied) Imported using git-ubuntu import.
ubuntu/zesty-proposed	2016-10-18 04:12:02 UTC 2016-10-18	7.2dfsg-3 (patches unapplied) Author: Camm Maguire Author Date: 2016-10-15 11:39:07 UTC 7.2dfsg-3 (patches unapplied) Imported using git-ubuntu import.
debian/stretch	2016-10-18 04:12:02 UTC 2016-10-18	7.2dfsg-3 (patches unapplied) Author: Camm Maguire Author Date: 2016-10-15 11:39:07 UTC 7.2dfsg-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety-proposed	2016-09-26 21:17:06 UTC 2016-09-26	7.2dfsg-2build2 (patches unapplied) Author: Graham Inggs Author Date: 2016-09-26 15:10:30 UTC 7.2dfsg-2build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety-devel	2016-09-26 21:17:06 UTC 2016-09-26	7.2dfsg-2build2 (patches unapplied) Author: Graham Inggs Author Date: 2016-09-26 15:10:30 UTC 7.2dfsg-2build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel	2016-09-26 21:17:06 UTC 2016-09-26	7.2dfsg-2build2 (patches applied) Author: Graham Inggs Author Date: 2016-09-26 15:10:30 UTC 7.2dfsg-2build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed	2016-09-26 21:17:06 UTC 2016-09-26	7.2dfsg-2build2 (patches applied) Author: Graham Inggs Author Date: 2016-09-26 15:10:30 UTC 7.2dfsg-2build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/yakkety	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches applied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches applied) Imported using git-ubuntu import.
ubuntu/yakkety	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches unapplied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches unapplied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/zesty	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches applied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/artful	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches applied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches applied) Imported using git-ubuntu import.
ubuntu/artful	2016-05-04 22:11:35 UTC 2016-05-04	7.2dfsg-2 (patches unapplied) Author: Camm Maguire Author Date: 2016-05-03 15:05:07 UTC 7.2dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/xenial-proposed	2015-10-29 04:10:45 UTC 2015-10-29	7.1dfsg-2 (patches unapplied) Author: Camm Maguire Author Date: 2015-10-27 19:33:53 UTC 7.1dfsg-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/xenial-devel	2015-10-29 04:10:45 UTC 2015-10-29	7.1dfsg-2 (patches unapplied) Author: Camm Maguire Author Date: 2015-10-27 19:33:53 UTC 7.1dfsg-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/xenial-devel	2015-10-29 04:10:45 UTC 2015-10-29	7.1dfsg-2 (patches applied) Author: Camm Maguire Author Date: 2015-10-27 19:33:53 UTC 7.1dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed	2015-10-29 04:10:45 UTC 2015-10-29	7.1dfsg-2 (patches applied) Author: Camm Maguire Author Date: 2015-10-27 19:33:53 UTC 7.1dfsg-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily-proposed	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches applied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches applied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily-devel	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches applied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches applied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily-proposed	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily-devel	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily	2015-06-01 22:10:50 UTC 2015-06-01	7.1-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-05-29 14:33:46 UTC 7.1-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid-devel	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/vivid-proposed	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches applied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid-devel	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches applied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches applied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches applied) Imported using git-ubuntu import.
ubuntu/vivid-proposed	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid	2015-01-27 10:15:36 UTC 2015-01-27	7.0-1 (patches unapplied) Author: Camm Maguire Author Date: 2015-01-16 15:35:45 UTC 7.0-1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/jessie	2014-09-08 22:10:59 UTC 2014-09-08	6.5-2 (patches applied) Author: Camm Maguire Author Date: 2014-08-20 00:37:33 UTC 6.5-2 (patches applied) Imported using git-ubuntu import.
debian/jessie	2014-09-08 22:10:59 UTC 2014-09-08	6.5-2 (patches unapplied) Author: Camm Maguire Author Date: 2014-08-20 00:37:33 UTC 6.5-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/utopic-devel	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches applied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches applied) Imported using git-ubuntu import.
ubuntu/utopic-proposed	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches unapplied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/utopic	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches applied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches applied) Imported using git-ubuntu import.
ubuntu/utopic	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches unapplied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/utopic-proposed	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches applied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches applied) Imported using git-ubuntu import.
ubuntu/utopic-devel	2014-05-18 10:11:45 UTC 2014-05-18	6.4-4 (patches unapplied) Author: Camm Maguire Author Date: 2014-05-15 18:49:32 UTC 6.4-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/trusty-proposed	2013-11-17 16:10:47 UTC 2013-11-17	6.3-6 (patches applied) Author: Camm Maguire Author Date: 2013-11-15 16:11:57 UTC 6.3-6 (patches applied) Imported using git-ubuntu import.
ubuntu/trusty-devel	2013-11-17 16:10:47 UTC 2013-11-17	6.3-6 (patches unapplied) Author: Camm Maguire Author Date: 2013-11-15 16:11:57 UTC 6.3-6 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty-proposed	2013-11-17 16:10:47 UTC 2013-11-17	6.3-6 (patches unapplied) Author: Camm Maguire Author Date: 2013-11-15 16:11:57 UTC 6.3-6 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/trusty-devel	2013-11-17 16:10:47 UTC 2013-11-17	6.3-6 (patches applied) Author: Camm Maguire Author Date: 2013-11-15 16:11:57 UTC 6.3-6 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty	2013-10-19 22:10:56 UTC 2013-10-19	6.3-5 (patches applied) Author: Camm Maguire Author Date: 2013-10-18 16:10:57 UTC 6.3-5 (patches applied) Imported using git-ubuntu import.
ubuntu/trusty	2013-10-19 22:10:56 UTC 2013-10-19	6.3-5 (patches unapplied) Author: Camm Maguire Author Date: 2013-10-18 16:10:57 UTC 6.3-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches unapplied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/saucy-proposed	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches applied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy-devel	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches applied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches applied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy-proposed	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches unapplied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy-devel	2013-07-30 22:11:06 UTC 2013-07-30	6.2-6 (patches unapplied) Author: Camm Maguire Author Date: 2013-07-29 18:54:53 UTC 6.2-6 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/raring-proposed	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches applied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring-devel	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches applied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches applied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches applied) Imported using git-ubuntu import.
ubuntu/raring	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches unapplied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring-devel	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches unapplied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring-proposed	2013-01-14 04:17:57 UTC 2013-01-14	6.0-2 (patches unapplied) Author: Camm Maguire Author Date: 2013-01-13 17:54:15 UTC 6.0-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/wheezy	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches applied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches applied) Imported using git-ubuntu import.
ubuntu/quantal	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches unapplied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal-devel	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches unapplied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches unapplied) Imported using git-ubuntu import.
debian/wheezy	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches unapplied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/quantal-devel	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches applied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal	2012-04-21 03:17:12 UTC 2012-04-21	4.3-3 (patches applied) Author: Camm Maguire Author Date: 2012-04-20 12:59:26 UTC 4.3-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches applied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/oneiric	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches applied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise-devel	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches applied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches applied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/precise-devel	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches unapplied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/precise	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches unapplied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/oneiric-devel	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches unapplied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/oneiric	2011-05-15 03:16:29 UTC 2011-05-15	4.2-1 (patches unapplied) Author: Camm Maguire Author Date: 2011-05-13 13:14:39 UTC 4.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/natty-devel	2010-11-06 21:16:26 UTC 2010-11-06	4.1-5 (patches applied) Author: Camm Maguire Author Date: 2010-11-05 16:19:11 UTC 4.1-5 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/natty	2010-11-06 21:16:26 UTC 2010-11-06	4.1-5 (patches applied) Author: Camm Maguire Author Date: 2010-11-05 16:19:11 UTC 4.1-5 (patches applied) Imported using git-ubuntu import.
ubuntu/natty	2010-11-06 21:16:26 UTC 2010-11-06	4.1-5 (patches unapplied) Author: Camm Maguire Author Date: 2010-11-05 16:19:11 UTC 4.1-5 (patches unapplied) Imported using git-ubuntu import.
ubuntu/natty-devel	2010-11-06 21:16:26 UTC 2010-11-06	4.1-5 (patches unapplied) Author: Camm Maguire Author Date: 2010-11-05 16:19:11 UTC 4.1-5 (patches unapplied) Imported using git-ubuntu import.
debian/squeeze	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches unapplied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/maverick-devel	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches applied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/maverick	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches applied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches applied) Imported using git-ubuntu import.
ubuntu/maverick	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches unapplied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/maverick-devel	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches unapplied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches unapplied) Imported using git-ubuntu import.
applied/debian/squeeze	2010-07-10 02:16:02 UTC 2010-07-10	4.0-3 (patches applied) Author: Camm Maguire Author Date: 2010-07-09 13:00:12 UTC 4.0-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lucid	2010-01-12 09:15:39 UTC 2010-01-12	3.6-4 (patches applied) Author: Camm Maguire Author Date: 2010-01-11 17:44:36 UTC 3.6-4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lucid-devel	2010-01-12 09:15:39 UTC 2010-01-12	3.6-4 (patches applied) Author: Camm Maguire Author Date: 2010-01-11 17:44:36 UTC 3.6-4 (patches applied) Imported using git-ubuntu import.
ubuntu/lucid	2010-01-12 09:15:39 UTC 2010-01-12	3.6-4 (patches unapplied) Author: Camm Maguire Author Date: 2010-01-11 17:44:36 UTC 3.6-4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lucid-devel	2010-01-12 09:15:39 UTC 2010-01-12	3.6-4 (patches unapplied) Author: Camm Maguire Author Date: 2010-01-11 17:44:36 UTC 3.6-4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/karmic-devel	2009-02-24 02:08:59 UTC 2009-02-24	3.4-2 (patches applied) Author: Camm Maguire Author Date: 2009-02-23 01:54:24 UTC 3.4-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/karmic	2009-02-24 02:08:59 UTC 2009-02-24	3.4-2 (patches applied) Author: Camm Maguire Author Date: 2009-02-23 01:54:24 UTC 3.4-2 (patches applied) Imported using git-ubuntu import.
ubuntu/karmic-devel	2009-02-24 02:08:59 UTC 2009-02-24	3.4-2 (patches unapplied) Author: Camm Maguire Author Date: 2009-02-23 01:54:24 UTC 3.4-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/karmic	2009-02-24 02:08:59 UTC 2009-02-24	3.4-2 (patches unapplied) Author: Camm Maguire Author Date: 2009-02-23 01:54:24 UTC 3.4-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jaunty-devel	2008-10-29 23:55:57 UTC 2008-10-29	3.4-1 (patches unapplied) Author: Camm Maguire Author Date: 2008-08-24 21:26:46 UTC 3.4-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jaunty	2008-10-29 23:55:57 UTC 2008-10-29	3.4-1 (patches unapplied) Author: Camm Maguire Author Date: 2008-08-24 21:26:46 UTC 3.4-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/jaunty-devel	2008-10-29 23:55:57 UTC 2008-10-29	3.4-1 (patches applied) Author: Camm Maguire Author Date: 2008-08-24 21:26:46 UTC 3.4-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jaunty	2008-10-29 23:55:57 UTC 2008-10-29	3.4-1 (patches applied) Author: Camm Maguire Author Date: 2008-08-24 21:26:46 UTC 3.4-1 (patches applied) Imported using git-ubuntu import.
ubuntu/intrepid-devel	2008-05-09 11:52:03 UTC 2008-05-09	3.3-1.1 (patches unapplied) Author: Peter Eisentraut Author Date: 2008-04-05 16:49:49 UTC 3.3-1.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/intrepid	2008-05-09 11:52:03 UTC 2008-05-09	3.3-1.1 (patches unapplied) Author: Peter Eisentraut Author Date: 2008-04-05 16:49:49 UTC 3.3-1.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/intrepid	2008-05-09 11:52:03 UTC 2008-05-09	3.3-1.1 (patches applied) Author: Peter Eisentraut Author Date: 2008-04-05 16:49:49 UTC 3.3-1.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/intrepid-devel	2008-05-09 11:52:03 UTC 2008-05-09	3.3-1.1 (patches applied) Author: Peter Eisentraut Author Date: 2008-04-05 16:49:49 UTC 3.3-1.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hardy	2008-02-16 23:05:05 UTC 2008-02-16	3.3-1ubuntu1 (patches applied) Author: Michael Bienia Author Date: 2008-02-16 23:01:22 UTC 3.3-1ubuntu1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hardy-devel	2008-02-16 23:05:05 UTC 2008-02-16	3.3-1ubuntu1 (patches applied) Author: Michael Bienia Author Date: 2008-02-16 23:01:22 UTC 3.3-1ubuntu1 (patches applied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/acl2	2024-07-31

You can't create new repositories for acl2 in Ubuntu.