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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] agda-stdlib_0.17.orig.tar.gz                       2022-04-11 11:26  388K  
[TXT] agda-stdlib_0.17-1.dsc                             2022-04-11 11:26  2.2K  
[   ] agda-stdlib_0.17-1.debian.tar.xz                   2022-04-11 11:26  5.2K  
[   ] agda-stdlib_0.17-1_all.deb                         2022-04-11 11:08   31M  
[   ] agda-stdlib-doc_0.17-1_all.deb                     2022-04-11 11:04  1.3M
Apache/2.4.58 (Debian) Server at mirror.freedif.org Port 443