Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage Agda versions

42 results

v2.6.4.3
Wed, 6 Mar 2024
MIT
v2.6.4.2
Sat, 24 Feb 2024
MIT
v2.6.4.1
Wed, 7 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