Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage yices versions

10 results

v0.0.0.12
Tue, 7 Feb 2012
BSD-3-Clause
v0.0.0.11
Wed, 21 Sep 2011
BSD-3-Clause
v0.0.0.10
Wed, 1 Jun 2011
BSD-3-Clause
v0.0.0.9
Mon, 7 Feb 2011
BSD-3-Clause
v0.0.0.8
Mon, 25 Oct 2010
BSD-3-Clause
v0.0.0.7
Thu, 4 Feb 2010
BSD-3-Clause
v0.0.0.6
Sun, 3 Jan 2010
BSD-3-Clause
v0.0.0.4
Wed, 5 Aug 2009
BSD-3-Clause
v0.0.0.3
Tue, 4 Aug 2009
BSD-3-Clause
v0.0.0.1
Fri, 24 Jul 2009
BSD-3-Clause