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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 agda-stdlib-doc_0.11-1_all.deb      2016-01-05 02:20  1.2M  
 agda-stdlib-doc_0.14-1_all.deb      2017-11-26 19:04  1.0M  
 agda-stdlib-doc_0.7-2_all.deb       2013-05-28 01:33  1.7M  
 agda-stdlib-doc_1.1-1_all.deb       2019-09-06 17:48  1.8M  
 agda-stdlib-doc_1.3-2_all.deb       2020-08-02 07:43  2.3M  
 agda-stdlib-doc_1.7.3-1_all.deb     2023-11-11 00:50  2.8M  
 agda-stdlib-doc_2.1-4_all.deb       2024-11-26 01:17  3.5M  
 agda-stdlib_0.11-1.debian.tar.xz    2016-01-05 00:25  4.5K  
 agda-stdlib_0.11-1.dsc              2016-01-05 00:25  2.1K  
 agda-stdlib_0.11-1_all.deb          2016-01-05 02:20   17M  
 agda-stdlib_0.11.orig.tar.gz        2016-01-05 00:25  247K  
 agda-stdlib_0.14-1.debian.tar.xz    2017-11-26 18:08  5.1K  
 agda-stdlib_0.14-1.dsc              2017-11-26 18:08  2.1K  
 agda-stdlib_0.14-1_all.deb          2017-11-26 19:04   17M  
 agda-stdlib_0.14.orig.tar.gz        2017-11-26 12:14  279K  
 agda-stdlib_0.7-2.debian.tar.gz     2013-05-28 01:33  4.4K  
 agda-stdlib_0.7-2.dsc               2013-05-28 01:33  2.0K  
 agda-stdlib_0.7-2_all.deb           2013-05-28 01:33   17M  
 agda-stdlib_0.7.orig.tar.gz         2013-04-10 20:03  221K  
 agda-stdlib_1.1-1.debian.tar.xz     2019-09-06 17:48  5.4K  
 agda-stdlib_1.1-1.dsc               2019-09-06 17:48  2.1K  
 agda-stdlib_1.1-1_all.deb           2019-09-06 17:48   45M  
 agda-stdlib_1.1.orig.tar.gz         2019-09-04 15:38  557K  
 agda-stdlib_1.3-2.debian.tar.xz     2020-08-02 07:13  5.5K  
 agda-stdlib_1.3-2.dsc               2020-08-02 07:13  2.1K  
 agda-stdlib_1.3-2_all.deb           2020-08-02 07:43   70M  
 agda-stdlib_1.3.orig.tar.gz         2020-08-02 01:33  734K  
 agda-stdlib_1.7.3-1.debian.tar.xz   2023-11-04 19:15  5.6K  
 agda-stdlib_1.7.3-1.dsc             2023-11-04 19:15  2.1K  
 agda-stdlib_1.7.3-1_all.deb         2023-11-11 00:50  115M  
 agda-stdlib_1.7.3.orig.tar.gz       2023-11-04 19:15  920K  
 agda-stdlib_2.1-4.debian.tar.xz     2024-11-26 01:17  5.9K  
 agda-stdlib_2.1-4.dsc               2024-11-26 01:17  2.2K  
 agda-stdlib_2.1-4_all.deb           2024-11-26 01:17  140M  
 agda-stdlib_2.1.orig.tar.gz         2024-10-31 18:16  1.2M