Git : Code : agda-stdlib package : Ubuntu

Ubuntu
agda-stdlib package

View Bazaar branches

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

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

Branches

Name	Last Modified	Last Commit
debian/stretch	2016-06-24 04:11:18 UTC 2016-06-24	0.12-2 (patches unapplied) Author: Helmut Grohne Author Date: 2016-06-23 17:43:37 UTC 0.12-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/stretch	2016-06-24 04:11:18 UTC 2016-06-24	0.12-2 (patches applied) Author: Helmut Grohne Author Date: 2016-06-23 17:43:37 UTC 0.12-2 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial-devel	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches unapplied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/xenial-devel	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches applied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches applied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches applied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches applied) Imported using git-ubuntu import.
ubuntu/xenial-proposed	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches unapplied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/xenial	2016-01-04 22:11:00 UTC 2016-01-04	0.11-1 (patches unapplied) Author: Iain Lane Author Date: 2016-01-04 13:01:15 UTC 0.11-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily-proposed	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches unapplied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/wily	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches applied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/wily-devel	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches applied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches applied) Imported using git-ubuntu import.
ubuntu/wily	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches unapplied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/wily-devel	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches unapplied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/wily-proposed	2015-05-20 16:11:04 UTC 2015-05-20	0.9-1 (patches applied) Author: Iain Lane Author Date: 2015-05-20 11:33:35 UTC 0.9-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic-devel	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/utopic	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
debian/jessie	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
applied/debian/jessie	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
ubuntu/utopic	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic-devel	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/utopic-proposed	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/vivid-devel	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches unapplied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/utopic-proposed	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/vivid-devel	2014-08-12 16:10:52 UTC 2014-08-12	0.8-2 (patches applied) Author: Iain Lane Author Date: 2014-08-12 09:22:32 UTC 0.8-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches applied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy-devel	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches unapplied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/saucy-proposed	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches unapplied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/trusty-devel	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches applied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/saucy-devel	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches applied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/trusty	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches applied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches applied) Imported using git-ubuntu import.
ubuntu/trusty-devel	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches unapplied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/trusty	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches unapplied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/saucy-proposed	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches applied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches applied) Imported using git-ubuntu import.
ubuntu/saucy	2013-05-27 22:11:29 UTC 2013-05-27	0.7-2 (patches unapplied) Author: Iain Lane Author Date: 2013-05-27 18:29:25 UTC 0.7-2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/raring-proposed	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches applied) Imported using git-ubuntu import.
debian/experimental	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring-devel	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/raring-proposed	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches unapplied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/experimental	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/raring-devel	2013-04-10 16:25:37 UTC 2013-04-10	0.7-1 (patches applied) Author: Iain Lane Author Date: 2013-04-10 09:30:20 UTC 0.7-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches applied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/precise-devel	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches applied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches applied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/quantal-devel	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches applied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches applied) Imported using git-ubuntu import.
applied/debian/wheezy	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches applied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches applied) Imported using git-ubuntu import.
ubuntu/precise	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/precise-devel	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/quantal-devel	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches unapplied) Imported using git-ubuntu import.
debian/wheezy	2012-03-14 21:21:00 UTC 2012-03-14	0.6-2 (patches unapplied) Author: Joachim Breitner Author Date: 2012-03-14 09:30:26 UTC 0.6-2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/oneiric	2011-05-24 21:16:21 UTC 2011-05-24	0.5-1 (patches unapplied) Author: Iain Lane Author Date: 2011-05-24 09:26:15 UTC 0.5-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/oneiric	2011-05-24 21:16:21 UTC 2011-05-24	0.5-1 (patches applied) Author: Iain Lane Author Date: 2011-05-24 09:26:15 UTC 0.5-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel	2011-05-24 21:16:21 UTC 2011-05-24	0.5-1 (patches applied) Author: Iain Lane Author Date: 2011-05-24 09:26:15 UTC 0.5-1 (patches applied) Imported using git-ubuntu import.
ubuntu/oneiric-devel	2011-05-24 21:16:21 UTC 2011-05-24	0.5-1 (patches unapplied) Author: Iain Lane Author Date: 2011-05-24 09:26:15 UTC 0.5-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/natty-devel	2011-03-01 00:20:13 UTC 2011-03-01	0.5-1~ubuntu1 (patches applied) Author: Iain Lane Author Date: 2011-02-25 22:28:40 UTC 0.5-1~ubuntu1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/natty	2011-03-01 00:20:13 UTC 2011-03-01	0.5-1~ubuntu1 (patches applied) Author: Iain Lane Author Date: 2011-02-25 22:28:40 UTC 0.5-1~ubuntu1 (patches applied) Imported using git-ubuntu import.
ubuntu/natty	2011-03-01 00:20:13 UTC 2011-03-01	0.5-1~ubuntu1 (patches unapplied) Author: Iain Lane Author Date: 2011-02-25 22:28:40 UTC 0.5-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/natty-devel	2011-03-01 00:20:13 UTC 2011-03-01	0.5-1~ubuntu1 (patches unapplied) Author: Iain Lane Author Date: 2011-02-25 22:28:40 UTC 0.5-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/maverick	2010-05-25 21:15:10 UTC 2010-05-25	0.3-3fakesync (patches applied) Author: Iain Lane Author Date: 2010-05-25 21:13:02 UTC 0.3-3fakesync (patches applied) Imported using git-ubuntu import.
ubuntu/maverick-devel	2010-05-25 21:15:10 UTC 2010-05-25	0.3-3fakesync (patches unapplied) Author: Iain Lane Author Date: 2010-05-25 21:13:02 UTC 0.3-3fakesync (patches unapplied) Imported using git-ubuntu import.
ubuntu/maverick	2010-05-25 21:15:10 UTC 2010-05-25	0.3-3fakesync (patches unapplied) Author: Iain Lane Author Date: 2010-05-25 21:13:02 UTC 0.3-3fakesync (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/maverick-devel	2010-05-25 21:15:10 UTC 2010-05-25	0.3-3fakesync (patches applied) Author: Iain Lane Author Date: 2010-05-25 21:13:02 UTC 0.3-3fakesync (patches applied) Imported using git-ubuntu import.
applied/debian/squeeze	2010-03-03 21:16:06 UTC 2010-03-03	0.3-3 (patches applied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-03-02 23:56:49 UTC 0.3-3 (patches applied) Imported using git-ubuntu import.
debian/squeeze	2010-03-03 21:16:06 UTC 2010-03-03	0.3-3 (patches unapplied) Author: Marco Tulio Gontijo e Silva Author Date: 2010-03-02 23:56:49 UTC 0.3-3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lucid-devel	2010-02-16 12:10:09 UTC 2010-02-16	0.3-1ubuntu2 (patches applied) Author: Iain Lane Author Date: 2010-02-16 12:05:13 UTC 0.3-1ubuntu2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lucid	2010-02-16 12:10:09 UTC 2010-02-16	0.3-1ubuntu2 (patches applied) Author: Iain Lane Author Date: 2010-02-16 12:05:13 UTC 0.3-1ubuntu2 (patches applied) Imported using git-ubuntu import.
ubuntu/lucid-devel	2010-02-16 12:10:09 UTC 2010-02-16	0.3-1ubuntu2 (patches unapplied) Author: Iain Lane Author Date: 2010-02-16 12:05:13 UTC 0.3-1ubuntu2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lucid	2010-02-16 12:10:09 UTC 2010-02-16	0.3-1ubuntu2 (patches unapplied) Author: Iain Lane Author Date: 2010-02-16 12:05:13 UTC 0.3-1ubuntu2 (patches unapplied) Imported using git-ubuntu import.

Other repositories

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

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

Ubuntuagda-stdlib package

Branches

Other repositories

Ubuntu
agda-stdlib package