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