@hackage tamarin-prover versions
17 results
v0.8.6.3
Mon, 7 Sep 2015v0.8.6.2
Mon, 7 Sep 2015v0.8.6.1
Sun, 8 Jun 2014v0.8.6.0
Sun, 16 Feb 2014v0.8.5.1
Fri, 7 Feb 2014v0.8.5.0
Wed, 8 May 2013v0.8.4.0
Tue, 15 Jan 2013v0.8.2.1
Fri, 28 Sep 2012v0.8.2.0
Fri, 28 Sep 2012v0.8.1.0
Mon, 13 Aug 2012v0.8.0.0
Fri, 20 Jul 2012v0.6.1.0
Tue, 5 Jun 2012v0.6.0.0
Tue, 5 Jun 2012v0.4.1.0
Fri, 4 May 2012v0.4.0.0
Tue, 24 Apr 2012v0.1.1.0
Fri, 10 Feb 2012v0.1.0.0
Fri, 10 Feb 2012