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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-stdlib-doc_1.3-2_all.deb2020-08-01 22:43 2.3M 
[ ]agda-stdlib-doc_1.7.3-1_all.deb2023-11-10 15:50 2.8M 
[ ]agda-stdlib-doc_2.3-1_all.deb2026-02-18 16:05 3.6M 
[ ]agda-stdlib_1.3-2.debian.tar.xz2020-08-01 22:13 5.5K 
[TXT]agda-stdlib_1.3-2.dsc2020-08-01 22:13 2.1K 
[ ]agda-stdlib_1.3-2_all.deb2020-08-01 22:43 70M 
[ ]agda-stdlib_1.3.orig.tar.gz2020-08-01 16:33 734K 
[ ]agda-stdlib_1.7.3-1.debian.tar.xz2023-11-04 11:15 5.6K 
[TXT]agda-stdlib_1.7.3-1.dsc2023-11-04 11:15 2.1K 
[ ]agda-stdlib_1.7.3-1_all.deb2023-11-10 15:50 115M 
[ ]agda-stdlib_1.7.3.orig.tar.gz2023-11-04 11:15 920K 
[ ]agda-stdlib_2.3-1.debian.tar.xz2026-02-15 17:34 5.9K 
[TXT]agda-stdlib_2.3-1.dsc2026-02-15 17:34 2.2K 
[ ]agda-stdlib_2.3-1_all.deb2026-02-18 16:06 149M 
[ ]agda-stdlib_2.3.orig.tar.gz2026-02-15 17:34 1.2M