Index of /deepin/pool/main/a/agda-stdlib

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] agda-stdlib-doc_0.17-1_all.deb   2022-04-11 05:04  1.3M  
[   ] agda-stdlib_0.17-1.debian.tar.xz 2022-04-11 05:26  5.2K  
[   ] agda-stdlib_0.17-1.dsc           2022-04-11 05:26  2.2K  
[   ] agda-stdlib_0.17-1_all.deb       2022-04-11 05:08   31M  
[   ] agda-stdlib_0.17.orig.tar.gz     2022-04-11 05:26  388K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80