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

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