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

Icon  Name                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                       -   
[   ] agda-stdlib_1.7.1-1_all.deb       2022-08-06 20:46   95M  
[   ] agda-stdlib-doc_1.7.1-1_all.deb   2022-08-06 20:46  2.9M  
[   ] agda-stdlib_1.7.1.orig.tar.gz     2022-08-06 19:10  918K  
[TXT] agda-stdlib_1.7.1-1.dsc           2022-08-06 19:10  2.1K  
[   ] agda-stdlib_1.7.1-1.debian.tar.xz 2022-08-06 19:10  5.5K