Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage idris versions

71 results

v1.3.4
Fri, 22 Oct 2021
BSD-3-Clause
v1.3.3
Sat, 23 May 2020
BSD-3-Clause
v1.3.2
Mon, 22 Jul 2019
BSD-3-Clause
v1.3.1
Tue, 23 Oct 2018
BSD-3-Clause
v1.3.0
Sat, 26 May 2018
BSD-3-Clause
v1.2.0
Sun, 7 Jan 2018
BSD-3-Clause
v1.1.1
Sat, 5 Aug 2017
BSD-3-Clause
v1.1.0
Tue, 1 Aug 2017
BSD-3-Clause
v1.0
Sat, 1 Apr 2017
BSD-3-Clause
v0.99.2
Sun, 26 Mar 2017
BSD-3-Clause
v0.99.1
Wed, 8 Mar 2017
BSD-3-Clause
v0.99
Sat, 3 Dec 2016
BSD-3-Clause
v0.12.3
Sun, 18 Sep 2016
BSD-3-Clause
v0.12.2
Thu, 4 Aug 2016
BSD-3-Clause
v0.12.1
Tue, 26 Jul 2016
BSD-3-Clause
v0.12
Tue, 21 Jun 2016
BSD-3-Clause
v0.11.2
Wed, 18 May 2016
BSD-3-Clause
v0.11.1
Mon, 2 May 2016
BSD-3-Clause
v0.11
Sat, 26 Mar 2016
BSD-3-Clause
v0.10.3
Sat, 19 Mar 2016
BSD-3-Clause
v0.10.2
Sat, 27 Feb 2016
BSD-3-Clause
v0.10.1
Thu, 25 Feb 2016
BSD-3-Clause
v0.10
Wed, 20 Jan 2016
BSD-3-Clause
v0.9.20.2
Thu, 17 Dec 2015
BSD-3-Clause
v0.9.20.1
Sun, 15 Nov 2015
BSD-3-Clause
v0.9.20
Sun, 8 Nov 2015
BSD-3-Clause
v0.9.19.1
Tue, 22 Sep 2015
BSD-3-Clause
v0.9.19
Mon, 31 Aug 2015
BSD-3-Clause
v0.9.18.1
Sat, 23 May 2015
BSD-3-Clause
v0.9.18
Sun, 17 May 2015
BSD-3-Clause
v0.9.17.1
Mon, 23 Mar 2015
BSD-3-Clause
v0.9.17
Sat, 21 Mar 2015
BSD-3-Clause
v0.9.16
Thu, 15 Jan 2015
BSD-3-Clause
v0.9.15.1
Mon, 27 Oct 2014
BSD-3-Clause
v0.9.15
Sun, 26 Oct 2014
BSD-3-Clause
v0.9.14.3
Sun, 5 Oct 2014
BSD-3-Clause
v0.9.14.2
Fri, 29 Aug 2014
BSD-3-Clause
v0.9.14.1
Wed, 30 Jul 2014
BSD-3-Clause
v0.9.14
Wed, 16 Jul 2014
BSD-3-Clause
v0.9.13.1
Mon, 9 Jun 2014
BSD-3-Clause
v0.9.13
Tue, 3 Jun 2014
BSD-3-Clause
v0.9.12
Fri, 4 Apr 2014
BSD-3-Clause
v0.9.11.2
Mon, 10 Feb 2014
BSD-3-Clause
v0.9.11.1
Tue, 4 Feb 2014
BSD-3-Clause
v0.9.11
Tue, 4 Feb 2014
BSD-3-Clause
v0.9.10.1
Mon, 2 Dec 2013
BSD-3-Clause
v0.9.10
Thu, 28 Nov 2013
BSD-3-Clause
v0.9.9.3
Tue, 15 Oct 2013
BSD-3-Clause
v0.9.9.2
Tue, 24 Sep 2013
BSD-3-Clause
v0.9.9.1
Thu, 19 Sep 2013
BSD-3-Clause
v0.9.9
Wed, 31 Jul 2013
BSD-3-Clause
v0.9.8
Tue, 28 May 2013
BSD-3-Clause
v0.9.7
Sun, 10 Mar 2013
BSD-3-Clause
v0.9.6.1
Mon, 18 Feb 2013
BSD-3-Clause
v0.9.6
Wed, 23 Jan 2013
BSD-3-Clause
v0.9.5.1
Wed, 31 Oct 2012
BSD-3-Clause
v0.9.5
Mon, 29 Oct 2012
BSD-3-Clause
v0.9.4.1
Sun, 7 Oct 2012
BSD-3-Clause
v0.9.4
Sun, 7 Oct 2012
BSD-3-Clause
v0.9.3.1
Thu, 20 Sep 2012
BSD-3-Clause
v0.9.3
Sat, 15 Sep 2012
BSD-3-Clause
v0.9.2.1
Thu, 29 Mar 2012
BSD-3-Clause
v0.9.2
Mon, 27 Feb 2012
BSD-3-Clause
v0.9.1
Thu, 2 Feb 2012
BSD-3-Clause
v0.9.0
Tue, 17 Jan 2012
BSD-3-Clause
v0.1.7.1
Tue, 14 Jun 2011
BSD-3-Clause
v0.1.7
Mon, 18 Apr 2011
BSD-3-Clause
v0.1.5
Sun, 21 Mar 2010
BSD-3-Clause
v0.1.4
Tue, 22 Dec 2009
BSD-3-Clause
v0.1.3.1
Mon, 21 Dec 2009
BSD-3-Clause
v0.1.3
Sun, 20 Dec 2009
BSD-3-Clause