Index of /pub/linux/INSTALL/Debian/pool/main/a/agda-stdlib

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 agda-stdlib_1.3-2.dsc                  2020-08-01 12:54  2.1K  
 agda-stdlib_1.7.1-1.dsc                2022-08-06 17:10  2.1K  
 agda-stdlib_2.1-4.dsc                  2024-11-25 19:03  2.2K  
 agda-stdlib_0.17-1.dsc                 2018-11-24 01:07  2.2K  
 agda-stdlib_0.17-1.debian.tar.xz       2018-11-24 01:07  5.2K  
 agda-stdlib_1.3-2.debian.tar.xz        2020-08-01 12:54  5.5K  
 agda-stdlib_1.7.1-1.debian.tar.xz      2022-08-06 17:10  5.5K  
 agda-stdlib_2.1-4.debian.tar.xz        2024-11-25 19:03  5.9K  
 agda-stdlib_0.17.orig.tar.gz           2018-11-24 01:07  388K  
 agda-stdlib_1.3.orig.tar.gz            2020-07-31 11:50  734K  
 agda-stdlib_1.7.1.orig.tar.gz          2022-08-06 17:10  918K  
 agda-stdlib_2.1.orig.tar.gz            2024-10-18 21:34  1.2M  
 agda-stdlib-doc_0.17-1_all.deb         2018-11-24 01:48  1.3M  
 agda-stdlib-doc_1.3-2_all.deb          2020-08-01 13:34  2.3M  
 agda-stdlib-doc_1.7.1-1_all.deb        2022-08-06 18:46  2.9M  
 agda-stdlib-doc_2.1-4_all.deb          2024-11-25 19:39  3.6M  
 agda-stdlib_0.17-1_all.deb             2018-11-24 01:48   31M  
 agda-stdlib_1.3-2_all.deb              2020-08-01 13:34   70M  
 agda-stdlib_1.7.1-1_all.deb            2022-08-06 18:46   95M  
 agda-stdlib_2.1-4_all.deb              2024-11-25 19:39  137M