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

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                     -   
[TXT] agda-stdlib_2.3-1.dsc           2026-02-15 18:23  2.2K  
[   ] agda-stdlib_2.3-1.debian.tar.xz 2026-02-15 18:23  5.9K  
[   ] agda-stdlib_2.3.orig.tar.gz     2026-02-15 18:23  1.2M  
[   ] agda-stdlib-doc_2.3-1_all.deb   2026-02-15 18:59  3.8M  
[   ] agda-stdlib_2.3-1_all.deb       2026-02-15 18:59  146M