- Get this repository:
-
git clone
https://git.launchpad.net/ubuntu/+source/agda-stdlib
Branches
Name | Last Modified | Last Commit |
---|---|---|
debian/stretch | 2016-06-24 04:11:18 UTC |
0.12-2 (patches unapplied)
Author:
Helmut Grohne
0.12-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2016-06-24 04:11:18 UTC |
0.12-2 (patches applied)
Author:
Helmut Grohne
0.12-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/xenial-devel | 2016-01-04 22:11:00 UTC |
0.11-1 (patches unapplied)
Author:
Iain Lane
0.11-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2016-01-04 22:11:00 UTC |
0.11-1 (patches applied)
Author:
Iain Lane
0.11-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2016-01-04 22:11:00 UTC |
0.11-1 (patches applied)
Author:
Iain Lane
0.11-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2016-01-04 22:11:00 UTC |
0.11-1 (patches applied)
Author:
Iain Lane
0.11-1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2016-01-04 22:11:00 UTC |
0.11-1 (patches unapplied)
Author:
Iain Lane
0.11-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/xenial | 2016-01-04 22:11:00 UTC |
0.11-1 (patches unapplied)
Author:
Iain Lane
0.11-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2015-05-20 16:11:04 UTC |
0.9-1 (patches unapplied)
Author:
Iain Lane
0.9-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ubuntu/wily | 2015-05-20 16:11:04 UTC |
0.9-1 (patches applied)
Author:
Iain Lane
0.9-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2015-05-20 16:11:04 UTC |
0.9-1 (patches applied)
Author:
Iain Lane
0.9-1 (patches applied) Imported using git-ubuntu import. |
ubuntu/wily | 2015-05-20 16:11:04 UTC |
0.9-1 (patches unapplied)
Author:
Iain Lane
0.9-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/wily-devel | 2015-05-20 16:11:04 UTC |
0.9-1 (patches unapplied)
Author:
Iain Lane
0.9-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2015-05-20 16:11:04 UTC |
0.9-1 (patches applied)
Author:
Iain Lane
0.9-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
debian/jessie | 2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/utopic | 2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/utopic-devel | 2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/vivid | 2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/vivid-devel | 2014-08-12 16:10:52 UTC |
0.8-2 (patches unapplied)
Author:
Iain Lane
0.8-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2014-08-12 16:10:52 UTC |
0.8-2 (patches applied)
Author:
Iain Lane
0.8-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches applied)
Author:
Iain Lane
0.7-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/saucy-devel | 2013-05-27 22:11:29 UTC |
0.7-2 (patches unapplied)
Author:
Iain Lane
0.7-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches unapplied)
Author:
Iain Lane
0.7-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches applied)
Author:
Iain Lane
0.7-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches applied)
Author:
Iain Lane
0.7-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches applied)
Author:
Iain Lane
0.7-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/trusty-devel | 2013-05-27 22:11:29 UTC |
0.7-2 (patches unapplied)
Author:
Iain Lane
0.7-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/trusty | 2013-05-27 22:11:29 UTC |
0.7-2 (patches unapplied)
Author:
Iain Lane
0.7-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2013-05-27 22:11:29 UTC |
0.7-2 (patches applied)
Author:
Iain Lane
0.7-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/saucy | 2013-05-27 22:11:29 UTC |
0.7-2 (patches unapplied)
Author:
Iain Lane
0.7-2 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2013-04-10 16:25:37 UTC |
0.7-1 (patches applied)
Author:
Iain Lane
0.7-1 (patches applied) Imported using git-ubuntu import. |
debian/experimental | 2013-04-10 16:25:37 UTC |
0.7-1 (patches unapplied)
Author:
Iain Lane
0.7-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/raring | 2013-04-10 16:25:37 UTC |
0.7-1 (patches unapplied)
Author:
Iain Lane
0.7-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/raring-devel | 2013-04-10 16:25:37 UTC |
0.7-1 (patches unapplied)
Author:
Iain Lane
0.7-1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2013-04-10 16:25:37 UTC |
0.7-1 (patches unapplied)
Author:
Iain Lane
0.7-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2013-04-10 16:25:37 UTC |
0.7-1 (patches applied)
Author:
Iain Lane
0.7-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2013-04-10 16:25:37 UTC |
0.7-1 (patches applied)
Author:
Iain Lane
0.7-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2013-04-10 16:25:37 UTC |
0.7-1 (patches applied)
Author:
Iain Lane
0.7-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches applied)
Author:
Joachim Breitner
0.6-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches applied)
Author:
Joachim Breitner
0.6-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches applied)
Author:
Joachim Breitner
0.6-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches applied)
Author:
Joachim Breitner
0.6-2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches applied)
Author:
Joachim Breitner
0.6-2 (patches applied) Imported using git-ubuntu import. |
ubuntu/precise | 2012-03-14 21:21:00 UTC |
0.6-2 (patches unapplied)
Author:
Joachim Breitner
0.6-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches unapplied)
Author:
Joachim Breitner
0.6-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/quantal | 2012-03-14 21:21:00 UTC |
0.6-2 (patches unapplied)
Author:
Joachim Breitner
0.6-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/ |
2012-03-14 21:21:00 UTC |
0.6-2 (patches unapplied)
Author:
Joachim Breitner
0.6-2 (patches unapplied) Imported using git-ubuntu import. |
debian/wheezy | 2012-03-14 21:21:00 UTC |
0.6-2 (patches unapplied)
Author:
Joachim Breitner
0.6-2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/oneiric | 2011-05-24 21:16:21 UTC |
0.5-1 (patches unapplied)
Author:
Iain Lane
0.5-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2011-05-24 21:16:21 UTC |
0.5-1 (patches applied)
Author:
Iain Lane
0.5-1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2011-05-24 21:16:21 UTC |
0.5-1 (patches applied)
Author:
Iain Lane
0.5-1 (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2011-05-24 21:16:21 UTC |
0.5-1 (patches unapplied)
Author:
Iain Lane
0.5-1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2011-03-01 00:20:13 UTC |
0.5-1~ubuntu1 (patches applied)
Author:
Iain Lane
0.5-1~ubuntu1 (patches applied) Imported using git-ubuntu import. |
applied/ |
2011-03-01 00:20:13 UTC |
0.5-1~ubuntu1 (patches applied)
Author:
Iain Lane
0.5-1~ubuntu1 (patches applied) Imported using git-ubuntu import. |
ubuntu/natty | 2011-03-01 00:20:13 UTC |
0.5-1~ubuntu1 (patches unapplied)
Author:
Iain Lane
0.5-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/natty-devel | 2011-03-01 00:20:13 UTC |
0.5-1~ubuntu1 (patches unapplied)
Author:
Iain Lane
0.5-1~ubuntu1 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2010-05-25 21:15:10 UTC |
0.3-3fakesync (patches applied)
Author:
Iain Lane
0.3-3fakesync (patches applied) Imported using git-ubuntu import. |
ubuntu/ |
2010-05-25 21:15:10 UTC |
0.3-3fakesync (patches unapplied)
Author:
Iain Lane
0.3-3fakesync (patches unapplied) Imported using git-ubuntu import. |
ubuntu/maverick | 2010-05-25 21:15:10 UTC |
0.3-3fakesync (patches unapplied)
Author:
Iain Lane
0.3-3fakesync (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2010-05-25 21:15:10 UTC |
0.3-3fakesync (patches applied)
Author:
Iain Lane
0.3-3fakesync (patches applied) Imported using git-ubuntu import. |
applied/ |
2010-03-03 21:16:06 UTC |
0.3-3 (patches applied)
Author:
Marco Tulio Gontijo e Silva
0.3-3 (patches applied) Imported using git-ubuntu import. |
debian/squeeze | 2010-03-03 21:16:06 UTC |
0.3-3 (patches unapplied)
Author:
Marco Tulio Gontijo e Silva
0.3-3 (patches unapplied) Imported using git-ubuntu import. |
applied/ |
2010-02-16 12:10:09 UTC |
0.3-1ubuntu2 (patches applied)
Author:
Iain Lane
0.3-1ubuntu2 (patches applied) Imported using git-ubuntu import. |
applied/ |
2010-02-16 12:10:09 UTC |
0.3-1ubuntu2 (patches applied)
Author:
Iain Lane
0.3-1ubuntu2 (patches applied) Imported using git-ubuntu import. |
ubuntu/lucid-devel | 2010-02-16 12:10:09 UTC |
0.3-1ubuntu2 (patches unapplied)
Author:
Iain Lane
0.3-1ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
ubuntu/lucid | 2010-02-16 12:10:09 UTC |
0.3-1ubuntu2 (patches unapplied)
Author:
Iain Lane
0.3-1ubuntu2 (patches unapplied) Imported using git-ubuntu import. |
101 → 172 of 172 results | First • Previous • Next • Last |
Other repositories
Name | Last Modified |
---|---|
lp:ubuntu/+source/agda-stdlib | 2024-04-29 |
1 → 1 of 1 result | First • Previous • Next • Last |