Index of /ubuntu26.04/archive/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_2.3-1_all.deb                      08-Aug-2026 22:00      4M
agda-stdlib_2.3-1_all.deb                          08-Aug-2026 22:00    149M