Index of /linux/ubuntu/22.04-mirror/pool/universe/a/agda-stdlib

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] agda-stdlib-doc_1.3-2_all.deb               2020-08-01 23:43  2.3M  
[   ] agda-stdlib_1.3-2_all.deb                   2020-08-01 23:43   70M