Index of /linux/debian/debian-ports/pool/main/a/agda-stdlib

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 agda-stdlib-doc_2.3-1_all.deb           2026-02-15 17:59  3.8M  
 agda-stdlib_2.3-1_all.deb               2026-02-15 17:59  146M