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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 agda-stdlib-doc_0.11-1_all.deb   04-Jan-2016 20:20  1.2M  
 agda-stdlib-doc_0.14-1_all.deb   26-Nov-2017 13:04  1.0M  
 agda-stdlib-doc_0.17-1_all.deb   14-Dec-2018 06:53  1.3M  
 agda-stdlib-doc_0.6-2_all.deb    18-Mar-2012 18:03  1.6M  
 agda-stdlib-doc_0.7-2_all.deb    27-May-2013 19:33  1.7M  
 agda-stdlib-doc_1.1-1_all.deb    06-Sep-2019 11:48  1.8M  
 agda-stdlib_0.11-1.debian.tar.xz 04-Jan-2016 18:25  4.5K  
 agda-stdlib_0.11-1.dsc           04-Jan-2016 18:25  2.1K  
 agda-stdlib_0.11-1_all.deb       04-Jan-2016 20:20   17M  
 agda-stdlib_0.11.orig.tar.gz     04-Jan-2016 18:25  247K  
 agda-stdlib_0.14-1.debian.tar.xz 26-Nov-2017 12:08  5.1K  
 agda-stdlib_0.14-1.dsc           26-Nov-2017 12:08  2.1K  
 agda-stdlib_0.14-1_all.deb       26-Nov-2017 13:04   17M  
 agda-stdlib_0.14.orig.tar.gz     26-Nov-2017 06:14  279K  
 agda-stdlib_0.17-1.debian.tar.xz 24-Nov-2018 00:23  5.2K  
 agda-stdlib_0.17-1.dsc           24-Nov-2018 00:23  2.2K  
 agda-stdlib_0.17-1_all.deb       14-Dec-2018 06:53   31M  
 agda-stdlib_0.17.orig.tar.gz     24-Nov-2018 00:23  388K  
 agda-stdlib_0.6-2.debian.tar.gz  18-Mar-2012 17:33  4.1K  
 agda-stdlib_0.6-2.dsc            18-Mar-2012 17:33  1.4K  
 agda-stdlib_0.6-2_all.deb        18-Mar-2012 18:03   16M  
 agda-stdlib_0.6.orig.tar.gz      03-Jan-2012 20:04  211K  
 agda-stdlib_0.7-2.debian.tar.gz  27-May-2013 19:33  4.4K  
 agda-stdlib_0.7-2.dsc            27-May-2013 19:33  2.0K  
 agda-stdlib_0.7-2_all.deb        27-May-2013 19:33   17M  
 agda-stdlib_0.7.orig.tar.gz      10-Apr-2013 14:03  221K  
 agda-stdlib_1.1-1.debian.tar.xz  06-Sep-2019 11:48  5.4K  
 agda-stdlib_1.1-1.dsc            06-Sep-2019 11:48  2.1K  
 agda-stdlib_1.1-1_all.deb        06-Sep-2019 11:48   45M  
 agda-stdlib_1.1.orig.tar.gz      04-Sep-2019 09:38  557K