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

Icon  Name                              Last modified      Size  
[PARENTDIR] Parent Directory                                       -   
[   ] agda-stdlib-doc_0.14-1_all.deb    2017-11-26 19:04  1.0M  
[   ] 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_0.14-1.debian.tar.xz  2017-11-26 18:08  5.1K  
[TXT] 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_1.1-1.debian.tar.xz   2019-09-06 17:48  5.4K  
[TXT] 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  
[TXT] 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  
[TXT] 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

This mirror is brought to you by HR-Tech and Heiko Richter.