NameLast modifiedSize
(File)
agda-stdlib-doc_1.1-1_all.deb
September 6, 2019 10:48 PM
1.8M
(File)
agda-stdlib-doc_1.3-2_all.deb
August 2, 2020 12:43 PM
2.3M
(File)
agda-stdlib-doc_1.7.3-1_all.deb
November 11, 2023 6:50 AM
2.8M
(File)
agda-stdlib_1.1-1_all.deb
September 6, 2019 10:48 PM
45M
(File)
agda-stdlib_1.3-2_all.deb
August 2, 2020 12:43 PM
70M
(File)
agda-stdlib_1.7.3-1_all.deb
November 11, 2023 6:50 AM
115M