5 Commits

Author	SHA1	Message	Date
Vincent Laporte	38eb17c2e2	why3: 0.86.1 -> 0.86.2	2015-12-01 11:04:08 +01:00
Vincent Laporte	28bfbb5562	why3: update from 0.85 to 0.86.1	2015-06-01 05:57:19 +02:00
Vincent Laporte	58297aa1e7	Why3: build also the Coq tactic.	2015-01-29 08:43:15 +01:00
Vincent Laporte	531b44562a	why3: update from 0.83 to 0.85	2014-10-12 16:21:02 +02:00
Austin Seipp	4ee4f76176	nixpkgs: add why3 0.83 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 02:30:39 -05:00