Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage Agda versions

8 results

v2.7.0.1
Sun, 27 Oct 2024
MIT
v2.7.0
Fri, 16 Aug 2024
MIT
v2.6.4.3
Sun, 19 May 2024
MIT
v2.6.4.2
Sat, 24 Feb 2024
MIT
v2.6.4.1
Sat, 17 Feb 2024
MIT
v2.6.4
Tue, 10 Oct 2023
MIT
v2.6.3
Fri, 13 Oct 2023
LicenseRef-OtherLicense
v2.6.2.2
Mon, 15 Aug 2022
LicenseRef-OtherLicense