Git : Code : agda package : Ubuntu

Ubuntu
agda package

View Bazaar branches

Get this repository:: git clone https://git.launchpad.net/ubuntu/+source/agda

Members of git-ubuntu import can upload to this repository. Log in for directions.

Branches

Name	Last Modified	Last Commit
applied/ubuntu/zesty-proposed	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches applied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches applied) Imported using git-ubuntu import.
ubuntu/zesty	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-devel	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-proposed	2017-01-27 07:08:14 UTC 2017-01-27	2.5.1.1-3build3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2017-01-27 06:54:20 UTC 2.5.1.1-3build3 (patches unapplied) Imported using git-ubuntu import.
applied/debian/stretch	2016-10-28 10:11:04 UTC 2016-10-28	2.5.1.1-3 (patches applied) Author: Clint Adams Author Date: 2016-10-27 22:32:12 UTC 2.5.1.1-3 (patches applied) Imported using git-ubuntu import.
debian/stretch	2016-10-28 10:11:04 UTC 2016-10-28	2.5.1.1-3 (patches unapplied) Author: Clint Adams Author Date: 2016-10-27 22:32:12 UTC 2.5.1.1-3 (patches unapplied) Imported using git-ubuntu import.
debian/experimental	2016-10-21 04:10:14 UTC 2016-10-21	2.5.1.1-2 (patches unapplied) Author: Clint Adams Author Date: 2016-10-20 14:23:45 UTC 2.5.1.1-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/experimental	2016-10-21 04:10:14 UTC 2016-10-21	2.5.1.1-2 (patches applied) Author: Clint Adams Author Date: 2016-10-20 14:23:45 UTC 2.5.1.1-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/yakkety	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches applied) Imported using git-ubuntu import.
ubuntu/yakkety	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety-devel	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety-proposed	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel	2016-08-09 12:53:10 UTC 2016-08-09	2.5.1-2build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-08-09 12:52:46 UTC 2.5.1-2build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches applied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial-proposed	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches unapplied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/xenial	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches applied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial-devel	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches unapplied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/xenial-devel	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches applied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial	2016-01-12 22:25:10 UTC 2016-01-12	2.4.2.5-1build1 (patches unapplied) Author: Colin Watson Author Date: 2016-01-12 22:24:00 UTC 2.4.2.5-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily-devel	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches unapplied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/wily-devel	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches applied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches applied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily-proposed	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches applied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches applied) Imported using git-ubuntu import.
ubuntu/wily-proposed	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches unapplied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily	2015-08-16 08:52:10 UTC 2015-08-16	2.4.2.2-4build1 (patches unapplied) Author: Colin Watson Author Date: 2015-08-16 08:51:20 UTC 2.4.2.2-4build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/vivid-proposed	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches applied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/vivid	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches unapplied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid-devel	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches unapplied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid-proposed	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches unapplied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/vivid	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches applied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid-devel	2014-10-29 17:34:09 UTC 2014-10-29	2.4.0.2-2build1 (patches applied) Author: Colin Watson Author Date: 2014-10-29 17:33:18 UTC 2.4.0.2-2build1 (patches applied) Imported using git-ubuntu import.
applied/debian/jessie	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches applied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic-proposed	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches applied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches applied) Imported using git-ubuntu import.
debian/jessie	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches unapplied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/utopic-devel	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches applied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches applied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches applied) Imported using git-ubuntu import.
ubuntu/utopic-proposed	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches unapplied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic-devel	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches unapplied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic	2014-08-11 16:10:48 UTC 2014-08-11	2.4.0.2-2 (patches unapplied) Author: Colin Watson Author Date: 2014-08-11 10:55:48 UTC 2.4.0.2-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty-devel	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/trusty-proposed	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches applied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches applied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty-devel	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches applied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/trusty-proposed	2013-11-06 16:10:44 UTC 2013-11-06	2.3.2.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-11-06 09:59:36 UTC 2.3.2.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches unapplied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/saucy-devel	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches applied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches applied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy-proposed	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches unapplied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/saucy-proposed	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches applied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy-devel	2013-06-16 22:10:58 UTC 2013-06-16	2.3.2.1-1 (patches unapplied) Author: Iain Lane Author Date: 2013-06-16 12:14:47 UTC 2.3.2.1-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring-proposed	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/raring	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring-devel	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring-proposed	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches applied) Imported using git-ubuntu import.
ubuntu/raring-devel	2013-04-10 16:25:33 UTC 2013-04-10	2.3.2-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 10:46:43 UTC 2.3.2-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/quantal-devel	2012-08-27 12:25:09 UTC 2012-08-27	2.3.0.1-2build1 (patches applied) Author: Iain Lane Author Date: 2012-08-27 12:15:30 UTC 2.3.0.1-2build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal	2012-08-27 12:25:09 UTC 2012-08-27	2.3.0.1-2build1 (patches applied) Author: Iain Lane Author Date: 2012-08-27 12:15:30 UTC 2.3.0.1-2build1 (patches applied) Imported using git-ubuntu import.
ubuntu/quantal	2012-08-27 12:25:09 UTC 2012-08-27	2.3.0.1-2build1 (patches unapplied) Author: Iain Lane Author Date: 2012-08-27 12:15:30 UTC 2.3.0.1-2build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal-devel	2012-08-27 12:25:09 UTC 2012-08-27	2.3.0.1-2build1 (patches unapplied) Author: Iain Lane Author Date: 2012-08-27 12:15:30 UTC 2.3.0.1-2build1 (patches unapplied) Imported using git-ubuntu import.
debian/wheezy	2012-05-27 09:17:19 UTC 2012-05-27	2.3.0.1-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-05-25 20:58:34 UTC 2.3.0.1-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/wheezy	2012-05-27 09:17:19 UTC 2012-05-27	2.3.0.1-2 (patches applied) Author: Joachim Breitner Author Date: 2012-05-25 20:58:34 UTC 2.3.0.1-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise	2012-04-21 16:28:58 UTC 2012-04-21	2.3.0.1-1build2 (patches applied) Author: Iain Lane Author Date: 2012-04-21 16:18:26 UTC 2.3.0.1-1build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise-devel	2012-04-21 16:28:58 UTC 2012-04-21	2.3.0.1-1build2 (patches applied) Author: Iain Lane Author Date: 2012-04-21 16:18:26 UTC 2.3.0.1-1build2 (patches applied) Imported using git-ubuntu import.
ubuntu/precise	2012-04-21 16:28:58 UTC 2012-04-21	2.3.0.1-1build2 (patches unapplied) Author: Iain Lane Author Date: 2012-04-21 16:18:26 UTC 2.3.0.1-1build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/precise-devel	2012-04-21 16:28:58 UTC 2012-04-21	2.3.0.1-1build2 (patches unapplied) Author: Iain Lane Author Date: 2012-04-21 16:18:26 UTC 2.3.0.1-1build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/oneiric	2011-07-09 21:35:11 UTC 2011-07-09	2.2.10-3build1 (patches applied) Author: Colin Watson Author Date: 2011-07-09 21:31:19 UTC 2.2.10-3build1 (patches applied) Imported using git-ubuntu import.
ubuntu/oneiric	2011-07-09 21:35:11 UTC 2011-07-09	2.2.10-3build1 (patches unapplied) Author: Colin Watson Author Date: 2011-07-09 21:31:19 UTC 2.2.10-3build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel	2011-07-09 21:35:11 UTC 2011-07-09	2.2.10-3build1 (patches applied) Author: Colin Watson Author Date: 2011-07-09 21:31:19 UTC 2.2.10-3build1 (patches applied) Imported using git-ubuntu import.
ubuntu/oneiric-devel	2011-07-09 21:35:11 UTC 2011-07-09	2.2.10-3build1 (patches unapplied) Author: Colin Watson Author Date: 2011-07-09 21:31:19 UTC 2.2.10-3build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/natty-devel	2011-02-24 18:35:42 UTC 2011-02-24	2.2.10-1~ubuntu1 (patches applied) Author: Iain Lane Author Date: 2011-02-24 18:27:06 UTC 2.2.10-1~ubuntu1 (patches applied) Imported using git-ubuntu import.
ubuntu/natty-devel	2011-02-24 18:35:42 UTC 2011-02-24	2.2.10-1~ubuntu1 (patches unapplied) Author: Iain Lane Author Date: 2011-02-24 18:27:06 UTC 2.2.10-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/natty	2011-02-24 18:35:42 UTC 2011-02-24	2.2.10-1~ubuntu1 (patches applied) Author: Iain Lane Author Date: 2011-02-24 18:27:06 UTC 2.2.10-1~ubuntu1 (patches applied) Imported using git-ubuntu import.
ubuntu/natty	2011-02-24 18:35:42 UTC 2011-02-24	2.2.10-1~ubuntu1 (patches unapplied) Author: Iain Lane Author Date: 2011-02-24 18:27:06 UTC 2.2.10-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/maverick-devel	2010-05-26 08:10:11 UTC 2010-05-26	2.2.6-7build1 (patches applied) Author: Iain Lane Author Date: 2010-05-26 08:08:19 UTC 2.2.6-7build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/maverick	2010-05-26 08:10:11 UTC 2010-05-26	2.2.6-7build1 (patches applied) Author: Iain Lane Author Date: 2010-05-26 08:08:19 UTC 2.2.6-7build1 (patches applied) Imported using git-ubuntu import.
ubuntu/maverick-devel	2010-05-26 08:10:11 UTC 2010-05-26	2.2.6-7build1 (patches unapplied) Author: Iain Lane Author Date: 2010-05-26 08:08:19 UTC 2.2.6-7build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/maverick	2010-05-26 08:10:11 UTC 2010-05-26	2.2.6-7build1 (patches unapplied) Author: Iain Lane Author Date: 2010-05-26 08:08:19 UTC 2.2.6-7build1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/squeeze	2010-05-09 13:25:24 UTC 2010-05-09	2.2.6-7 (patches applied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-05-06 02:13:56 UTC 2.2.6-7 (patches applied) Imported using git-ubuntu import.
debian/squeeze	2010-05-09 13:25:24 UTC 2010-05-09	2.2.6-7 (patches unapplied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-05-06 02:13:56 UTC 2.2.6-7 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lucid-devel	2010-02-27 15:15:39 UTC 2010-02-27	2.2.6-3 (patches applied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-02-20 22:12:57 UTC 2.2.6-3 (patches applied) Imported using git-ubuntu import.
ubuntu/lucid-devel	2010-02-27 15:15:39 UTC 2010-02-27	2.2.6-3 (patches unapplied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-02-20 22:12:57 UTC 2.2.6-3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lucid	2010-02-27 15:15:39 UTC 2010-02-27	2.2.6-3 (patches unapplied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-02-20 22:12:57 UTC 2.2.6-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lucid	2010-02-27 15:15:39 UTC 2010-02-27	2.2.6-3 (patches applied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-02-20 22:12:57 UTC 2.2.6-3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/karmic-devel	2009-08-11 13:13:15 UTC 2009-08-11	2.2.4+dfsg-1 (patches applied) Author: Iain Lane Author Date: 2009-07-20 18:49:41 UTC 2.2.4+dfsg-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/karmic	2009-08-11 13:13:15 UTC 2009-08-11	2.2.4+dfsg-1 (patches applied) Author: Iain Lane Author Date: 2009-07-20 18:49:41 UTC 2.2.4+dfsg-1 (patches applied) Imported using git-ubuntu import.
ubuntu/karmic	2009-08-11 13:13:15 UTC 2009-08-11	2.2.4+dfsg-1 (patches unapplied) Author: Iain Lane Author Date: 2009-07-20 18:49:41 UTC 2.2.4+dfsg-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/karmic-devel	2009-08-11 13:13:15 UTC 2009-08-11	2.2.4+dfsg-1 (patches unapplied) Author: Iain Lane Author Date: 2009-07-20 18:49:41 UTC 2.2.4+dfsg-1 (patches unapplied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/agda	2024-04-29

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

Ubuntuagda package

Branches

Other repositories

Ubuntu
agda package