Index of /ubuntu/packages/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_0.11-1_all.deb                     05-Jan-2016 01:20      1M
agda-stdlib-doc_0.12-2build1_all.deb               15-May-2018 06:14      1M
agda-stdlib-doc_0.12-2build2_all.deb               15-Nov-2016 17:08      1M
agda-stdlib-doc_0.13-1_all.deb                     10-Jul-2017 12:28      1M
agda-stdlib-doc_0.14-1_all.deb                     26-Nov-2017 18:04      1M
agda-stdlib-doc_0.17-1_all.deb                     14-Dec-2018 11:53      1M
agda-stdlib-doc_0.3-1ubuntu2_all.deb               16-Feb-2010 13:04      1M
agda-stdlib-doc_0.3-3fakesync_all.deb              26-May-2010 06:05      1M
agda-stdlib-doc_0.5-1_all.deb                      17-Jun-2011 17:05      1M
agda-stdlib-doc_0.5-1~ubuntu1_all.deb              01-Mar-2011 01:04      1M
agda-stdlib-doc_0.6-2_all.deb                      18-Mar-2012 22:03      2M
agda-stdlib-doc_0.7-1_all.deb                      10-Apr-2013 20:03      2M
agda-stdlib-doc_0.7-2_all.deb                      27-May-2013 23:33      2M
agda-stdlib-doc_0.8-2_all.deb                      12-Aug-2014 17:08      1M
agda-stdlib-doc_0.9-1_all.deb                      05-Jun-2015 16:09      1M
agda-stdlib-doc_1.1-1_all.deb                      06-Sep-2019 15:48      2M
agda-stdlib-doc_1.3-2_all.deb                      02-Aug-2020 05:43      2M
agda-stdlib-doc_1.7.1-1_all.deb                    26-Aug-2022 19:09      3M
agda-stdlib-doc_1.7.3-1_all.deb                    10-Nov-2023 23:50      3M
agda-stdlib-doc_2.1-4_all.deb                      26-Nov-2024 00:17      3M
agda-stdlib_0.11-1_all.deb                         05-Jan-2016 01:20     17M
agda-stdlib_0.12-2build1_all.deb                   15-May-2018 06:14     16M
agda-stdlib_0.12-2build2_all.deb                   15-Nov-2016 17:08     15M
agda-stdlib_0.13-1_all.deb                         10-Jul-2017 12:28     16M
agda-stdlib_0.14-1_all.deb                         26-Nov-2017 18:04     17M
agda-stdlib_0.17-1_all.deb                         14-Dec-2018 11:53     31M
agda-stdlib_0.3-1ubuntu2_amd64.deb                 16-Feb-2010 14:10     11M
agda-stdlib_0.3-1ubuntu2_i386.deb                  16-Feb-2010 13:04     11M
agda-stdlib_0.3-3fakesync_amd64.deb                29-May-2010 18:04     11M
agda-stdlib_0.3-3fakesync_i386.deb                 26-May-2010 06:05     11M
agda-stdlib_0.5-1_all.deb                          17-Jun-2011 17:05     15M
agda-stdlib_0.5-1~ubuntu1_all.deb                  01-Mar-2011 01:04     15M
agda-stdlib_0.6-2_all.deb                          18-Mar-2012 22:03     16M
agda-stdlib_0.7-1_all.deb                          10-Apr-2013 20:03     17M
agda-stdlib_0.7-2_all.deb                          27-May-2013 23:33     17M
agda-stdlib_0.8-2_all.deb                          12-Aug-2014 17:08     22M
agda-stdlib_0.9-1_all.deb                          05-Jun-2015 16:09     11M
agda-stdlib_1.1-1_all.deb                          06-Sep-2019 15:48     45M
agda-stdlib_1.3-2_all.deb                          02-Aug-2020 05:43     70M
agda-stdlib_1.7.1-1_all.deb                        26-Aug-2022 19:09     98M
agda-stdlib_1.7.3-1_all.deb                        10-Nov-2023 23:50    115M
agda-stdlib_2.1-4_all.deb                          26-Nov-2024 00:17    140M