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

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