Index of /freexian/extended-lts/pool/main/a/agda-stdlib

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] agda-stdlib-doc_0.17-1_all.deb      2024-10-28 11:17  1.3M  
[   ] agda-stdlib_0.17-1_all.deb          2024-10-28 11:17   31M
Apache Server at ftp.thm.de Port 443