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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 agda-stdlib-doc_0.7-..> 27-May-2013 23:33  1.7M  
 agda-stdlib-doc_0.11..> 05-Jan-2016 01:20  1.2M  
 agda-stdlib-doc_0.14..> 26-Nov-2017 18:04  1.0M  
 agda-stdlib-doc_1.1-..> 06-Sep-2019 15:48  1.8M  
 agda-stdlib-doc_1.3-..> 02-Aug-2020 05:43  2.3M  
 agda-stdlib-doc_1.7...> 26-Aug-2022 19:09  2.8M  
 agda-stdlib-doc_1.7...> 10-Nov-2023 23:50  2.8M  
 agda-stdlib_0.7-2.de..> 27-May-2013 23:33  4.4K  
 agda-stdlib_0.7-2.dsc   27-May-2013 23:33  2.0K  
 agda-stdlib_0.7-2_al..> 27-May-2013 23:33   17M  
 agda-stdlib_0.7.orig..> 10-Apr-2013 18:03  221K  
 agda-stdlib_0.11-1.d..> 04-Jan-2016 23:25  4.5K  
 agda-stdlib_0.11-1.dsc  04-Jan-2016 23:25  2.1K  
 agda-stdlib_0.11-1_a..> 05-Jan-2016 01:20   17M  
 agda-stdlib_0.11.ori..> 04-Jan-2016 23:25  247K  
 agda-stdlib_0.14-1.d..> 26-Nov-2017 17:08  5.1K  
 agda-stdlib_0.14-1.dsc  26-Nov-2017 17:08  2.1K  
 agda-stdlib_0.14-1_a..> 26-Nov-2017 18:04   17M  
 agda-stdlib_0.14.ori..> 26-Nov-2017 11:14  279K  
 agda-stdlib_1.1-1.de..> 06-Sep-2019 15:48  5.4K  
 agda-stdlib_1.1-1.dsc   06-Sep-2019 15:48  2.1K  
 agda-stdlib_1.1-1_al..> 06-Sep-2019 15:48   45M  
 agda-stdlib_1.1.orig..> 04-Sep-2019 13:38  557K  
 agda-stdlib_1.3-2.de..> 02-Aug-2020 05:13  5.5K  
 agda-stdlib_1.3-2.dsc   02-Aug-2020 05:13  2.1K  
 agda-stdlib_1.3-2_al..> 02-Aug-2020 05:43   70M  
 agda-stdlib_1.3.orig..> 01-Aug-2020 23:33  734K  
 agda-stdlib_1.7.1-1...> 06-Aug-2022 23:19  5.5K  
 agda-stdlib_1.7.1-1.dsc 06-Aug-2022 23:19  2.1K  
 agda-stdlib_1.7.1-1_..> 26-Aug-2022 19:09   98M  
 agda-stdlib_1.7.1.or..> 06-Aug-2022 23:19  918K  
 agda-stdlib_1.7.3-1...> 04-Nov-2023 18:15  5.6K  
 agda-stdlib_1.7.3-1.dsc 04-Nov-2023 18:15  2.1K  
 agda-stdlib_1.7.3-1_..> 10-Nov-2023 23:50  115M  
 agda-stdlib_1.7.3.or..> 04-Nov-2023 18:15  920K