Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage uAgda versions

9 results

v1.2.0.4
Sat, 10 Mar 2012
LicenseRef-OtherLicense
v1.2.0.3
Sat, 10 Mar 2012
LicenseRef-OtherLicense
v1.2.0.2
Fri, 9 Mar 2012
LicenseRef-OtherLicense
v1.2.0.1
Fri, 6 Jan 2012
LicenseRef-OtherLicense
v1.2.0.0
Thu, 5 Jan 2012
LicenseRef-OtherLicense
v1.1.0.0
Mon, 14 Feb 2011
LicenseRef-OtherLicense
v1.0.0.2
Fri, 3 Dec 2010
LicenseRef-OtherLicense
v1.0.0.1
Thu, 2 Dec 2010
LicenseRef-OtherLicense
v1.0.0.0
Thu, 2 Dec 2010
LicenseRef-OtherLicense