Index of /sites/archive.ubuntu.com/ubuntu/ubuntu/ubuntu/pool/universe/a/agda-stdlib/?C=S;O=A

 Name                                                            Last modified      Size  
 Parent Directory                                                                     -   
 agda-stdlib-doc_0.14-1_all.deb                                  2017-11-26 18:04  1.0M  
 agda-stdlib-doc_0.11-1_all.deb                                  2016-01-05 01:20  1.2M  
 agda-stdlib-doc_0.7-2_all.deb                                   2013-05-28 00:33  1.7M  
 agda-stdlib-doc_1.1-1_all.deb                                   2019-09-06 16:48  1.8M  
 agda-stdlib-doc_1.3-2_all.deb                                   2020-08-02 06:43  2.3M  
 agda-stdlib-doc_1.7.3-1_all.deb                                 2023-11-10 23:50  2.8M  
 agda-stdlib-doc_2.1-4_all.deb                                   2024-11-26 00:17  3.5M  
 agda-stdlib_0.11-1_all.deb                                      2016-01-05 01:20   17M  
 agda-stdlib_0.7-2_all.deb                                       2013-05-28 00:33   17M  
 agda-stdlib_0.14-1_all.deb                                      2017-11-26 18:04   17M  
 agda-stdlib_1.1-1_all.deb                                       2019-09-06 16:48   45M  
 agda-stdlib_1.3-2_all.deb                                       2020-08-02 06:43   70M  
 agda-stdlib_1.7.3-1_all.deb                                     2023-11-10 23:50  115M  
 agda-stdlib_2.1-4_all.deb                                       2024-11-26 00:17  140M