Index of /dev/ubuntu/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_1.7.3-1_all.deb                    29-Aug-2026 14:24      3M
agda-stdlib-doc_2.3-1_all.deb                      29-Aug-2026 14:24      4M
agda-stdlib_1.7.3-1_all.deb                        29-Aug-2026 14:24    115M
agda-stdlib_2.3-1_all.deb                          29-Aug-2026 14:24    149M