Index of /ubuntu-archive/ubuntu/pool/universe/a/agda-stdlib
Name
Last modified
Size
Parent Directory
-
agda-stdlib-doc_0.3-1ubuntu2_all.deb
2010-02-16 07:04
1.1M
agda-stdlib-doc_0.3-3fakesync_all.deb
2010-05-26 01:05
1.1M
agda-stdlib-doc_0.5-1_all.deb
2011-06-17 12:05
1.5M
agda-stdlib-doc_0.5-1~ubuntu1_all.deb
2011-02-28 19:04
1.5M
agda-stdlib-doc_0.6-2_all.deb
2012-03-18 17:03
1.6M
agda-stdlib-doc_0.7-1_all.deb
2013-04-10 15:03
1.7M
agda-stdlib-doc_0.7-2_all.deb
2013-05-27 18:33
1.7M
agda-stdlib-doc_0.8-2_all.deb
2014-08-12 12:08
1.2M
agda-stdlib-doc_0.9-1_all.deb
2015-06-05 11:09
1.2M
agda-stdlib-doc_0.12-2build1_all.deb
2018-05-15 01:14
1.2M
agda-stdlib-doc_0.12-2build2_all.deb
2016-11-15 11:08
1.2M
agda-stdlib-doc_0.13-1_all.deb
2017-07-10 07:28
1.3M
agda-stdlib-doc_0.14-1_all.deb
2017-11-26 12:04
1.0M
agda-stdlib-doc_0.17-1_all.deb
2018-12-14 05:53
1.3M
agda-stdlib-doc_1.1-1_all.deb
2019-09-06 10:48
1.8M
agda-stdlib-doc_1.3-2_all.deb
2020-08-02 00:43
2.3M
agda-stdlib-doc_1.7.1-1_all.deb
2022-08-26 14:09
2.8M
agda-stdlib_0.3-1ubuntu2.diff.gz
2010-02-16 07:04
3.6K
agda-stdlib_0.3-1ubuntu2.dsc
2010-02-16 07:04
1.3K
agda-stdlib_0.3-1ubuntu2_amd64.deb
2010-02-16 08:10
11M
agda-stdlib_0.3-1ubuntu2_armel.deb
2010-02-16 15:04
12M
agda-stdlib_0.3-1ubuntu2_i386.deb
2010-02-16 07:04
11M
agda-stdlib_0.3-1ubuntu2_powerpc.deb
2010-02-16 10:04
11M
agda-stdlib_0.3-1ubuntu2_sparc.deb
2010-02-16 18:05
11M
agda-stdlib_0.3-3fakesync.diff.gz
2010-05-25 17:04
3.7K
agda-stdlib_0.3-3fakesync.dsc
2010-05-25 17:04
1.3K
agda-stdlib_0.3-3fakesync_amd64.deb
2010-05-29 13:04
11M
agda-stdlib_0.3-3fakesync_armel.deb
2010-07-05 21:05
12M
agda-stdlib_0.3-3fakesync_i386.deb
2010-05-26 01:05
11M
agda-stdlib_0.3-3fakesync_powerpc.deb
2010-05-29 13:05
11M
agda-stdlib_0.3.orig.tar.gz
2010-02-13 10:04
150K
agda-stdlib_0.5-1.diff.gz
2011-06-17 12:05
3.6K
agda-stdlib_0.5-1.dsc
2011-06-17 12:05
1.9K
agda-stdlib_0.5-1_all.deb
2011-06-17 12:05
15M
agda-stdlib_0.5-1~ubuntu1.diff.gz
2011-02-28 19:04
3.7K
agda-stdlib_0.5-1~ubuntu1.dsc
2011-02-28 19:04
1.9K
agda-stdlib_0.5-1~ubuntu1_all.deb
2011-02-28 19:04
15M
agda-stdlib_0.5.orig.tar.gz
2011-02-28 19:04
193K
agda-stdlib_0.6-2.debian.tar.gz
2012-03-18 16:33
4.1K
agda-stdlib_0.6-2.dsc
2012-03-18 16:33
1.4K
agda-stdlib_0.6-2_all.deb
2012-03-18 17:03
16M
agda-stdlib_0.6.orig.tar.gz
2012-01-03 19:04
211K
agda-stdlib_0.7-1.debian.tar.gz
2013-04-10 13:03
4.3K
agda-stdlib_0.7-1.dsc
2013-04-10 13:03
2.0K
agda-stdlib_0.7-1_all.deb
2013-04-10 15:03
17M
agda-stdlib_0.7-2.debian.tar.gz
2013-05-27 18:33
4.4K
agda-stdlib_0.7-2.dsc
2013-05-27 18:33
2.0K
agda-stdlib_0.7-2_all.deb
2013-05-27 18:33
17M
agda-stdlib_0.7.orig.tar.gz
2013-04-10 13:03
221K
agda-stdlib_0.8-2.debian.tar.xz
2014-08-12 11:38
4.4K
agda-stdlib_0.8-2.dsc
2014-08-12 11:38
2.0K
agda-stdlib_0.8-2_all.deb
2014-08-12 12:08
22M
agda-stdlib_0.8.orig.tar.gz
2014-08-05 12:34
240K
agda-stdlib_0.9-1.debian.tar.xz
2015-05-20 12:08
4.5K
agda-stdlib_0.9-1.dsc
2015-05-20 12:08
2.0K
agda-stdlib_0.9-1_all.deb
2015-06-05 11:09
11M
agda-stdlib_0.9.orig.tar.gz
2015-05-20 12:08
243K
agda-stdlib_0.12-2build1.debian.tar.xz
2018-06-12 21:52
4.9K
agda-stdlib_0.12-2build1.dsc
2018-06-12 21:52
2.1K
agda-stdlib_0.12-2build1_all.deb
2018-05-15 01:14
16M
agda-stdlib_0.12-2build2.debian.tar.xz
2016-11-15 11:08
4.9K
agda-stdlib_0.12-2build2.dsc
2016-11-15 11:08
2.1K
agda-stdlib_0.12-2build2_all.deb
2016-11-15 11:08
15M
agda-stdlib_0.12.orig.tar.gz
2016-06-20 18:40
248K
agda-stdlib_0.13-1.debian.tar.xz
2017-07-07 00:08
4.9K
agda-stdlib_0.13-1.dsc
2017-07-07 00:08
2.0K
agda-stdlib_0.13-1_all.deb
2017-07-10 07:28
16M
agda-stdlib_0.13.orig.tar.gz
2017-07-07 00:08
258K
agda-stdlib_0.14-1.debian.tar.xz
2017-11-26 11:08
5.1K
agda-stdlib_0.14-1.dsc
2017-11-26 11:08
2.1K
agda-stdlib_0.14-1_all.deb
2017-11-26 12:04
17M
agda-stdlib_0.14.orig.tar.gz
2017-11-26 05:14
279K
agda-stdlib_0.17-1.debian.tar.xz
2018-11-23 23:23
5.2K
agda-stdlib_0.17-1.dsc
2018-11-23 23:23
2.2K
agda-stdlib_0.17-1_all.deb
2018-12-14 05:53
31M
agda-stdlib_0.17.orig.tar.gz
2018-11-23 23:23
388K
agda-stdlib_1.1-1.debian.tar.xz
2019-09-06 10:48
5.4K
agda-stdlib_1.1-1.dsc
2019-09-06 10:48
2.1K
agda-stdlib_1.1-1_all.deb
2019-09-06 10:48
45M
agda-stdlib_1.1.orig.tar.gz
2019-09-04 08:38
557K
agda-stdlib_1.3-2.debian.tar.xz
2020-08-02 00:13
5.5K
agda-stdlib_1.3-2.dsc
2020-08-02 00:13
2.1K
agda-stdlib_1.3-2_all.deb
2020-08-02 00:43
70M
agda-stdlib_1.3.orig.tar.gz
2020-08-01 18:33
734K
agda-stdlib_1.7.1-1.debian.tar.xz
2022-08-06 18:19
5.5K
agda-stdlib_1.7.1-1.dsc
2022-08-06 18:19
2.1K
agda-stdlib_1.7.1-1_all.deb
2022-08-26 14:09
98M
agda-stdlib_1.7.1.orig.tar.gz
2022-08-06 18:19
918K