Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage Agda versions

45 results

v2.8.0
Sat, 5 Jul 2025
MIT
v2.7.0.1
Thu, 22 May 2025
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
v2.6.2.1
Thu, 3 Feb 2022
LicenseRef-OtherLicense
v2.6.2
Sat, 19 Jun 2021
LicenseRef-OtherLicense
v2.6.1.3
Sun, 7 Feb 2021
LicenseRef-OtherLicense
v2.6.1.2
Thu, 29 Oct 2020
LicenseRef-OtherLicense
v2.6.1.1
Tue, 8 Sep 2020
LicenseRef-OtherLicense
v2.6.1
Mon, 16 Mar 2020
LicenseRef-OtherLicense
v2.6.0.1
Fri, 17 May 2019
LicenseRef-OtherLicense
v2.6.0
Fri, 12 Apr 2019
LicenseRef-OtherLicense
v2.5.4.2
Mon, 29 Oct 2018
LicenseRef-OtherLicense
v2.5.4.1
Thu, 19 Jul 2018
LicenseRef-OtherLicense
v2.5.4
Sat, 2 Jun 2018
LicenseRef-OtherLicense
v2.5.3
Mon, 5 Feb 2018
LicenseRef-OtherLicense
v2.5.2
Wed, 2 Aug 2017
LicenseRef-OtherLicense
v2.5.1.2
Fri, 25 Nov 2016
LicenseRef-OtherLicense
v2.5.1.1
Sat, 3 Sep 2016
LicenseRef-OtherLicense
v2.5.1
Sat, 16 Apr 2016
LicenseRef-OtherLicense
v2.4.2.5
Fri, 4 Mar 2016
LicenseRef-OtherLicense
v2.4.2.4
Thu, 1 Dec 2016
LicenseRef-OtherLicense
v2.4.2.3
Mon, 10 Aug 2015
LicenseRef-OtherLicense
v2.4.2.2
Thu, 2 Apr 2015
LicenseRef-OtherLicense
v2.4.2.1
Thu, 13 Nov 2014
LicenseRef-OtherLicense
v2.4.2
Tue, 9 Sep 2014
LicenseRef-OtherLicense
v2.4.0.2
Sat, 4 Jul 2015
LicenseRef-OtherLicense
v2.4.0.1
Mon, 16 Jun 2014
LicenseRef-OtherLicense
v2.4.0
Thu, 5 Jun 2014
LicenseRef-OtherLicense
v2.3.2.2
Wed, 30 Oct 2013
LicenseRef-OtherLicense
v2.3.2.1
Mon, 10 Jun 2013
LicenseRef-OtherLicense
v2.3.2
Mon, 12 Nov 2012
LicenseRef-OtherLicense
v2.3.0.1
Mon, 12 Mar 2012
LicenseRef-OtherLicense
v2.3.0
Wed, 23 Nov 2011
LicenseRef-OtherLicense
v2.2.10
Sun, 20 Feb 2011
LicenseRef-OtherLicense
v2.2.8
Mon, 27 Sep 2010
LicenseRef-OtherLicense
v2.2.6
Wed, 23 Dec 2009
LicenseRef-OtherLicense
v2.2.4
Tue, 7 Jul 2009
LicenseRef-OtherLicense
v2.2.2
Thu, 16 Apr 2009
LicenseRef-OtherLicense
v2.2.0
Tue, 17 Mar 2009
LicenseRef-OtherLicense