21 Commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Joachim Breitner	2d2a5a9b63	js_of_ocaml: 3.4.0 -> 3.5.2 (#75766) ... drive-by contributions, as I was playing around with this (it has better support for the `num` library, it seems.) js_of_ocaml: 3.4.0 -> 3.5.2 ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0 ocamlPackages.eliom: 6.8.0 → 6.10.1 ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0 ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1 Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>	2020-03-06 07:42:04 +01:00
Vincent Laporte	a61354f262	why3: 1.2.0 → 1.2.1	2019-11-11 11:30:52 +00:00
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
Jake Waksbaum	3ab32ee8f6	framac: 18 -> 19 and update why3	2019-08-03 14:03:22 +00:00
Vincent Laporte	4266523c14	why3: 1.1.1 -> 1.2.0	2019-02-25 10:09:15 +01:00
Vincent Laporte	ea92816c74	why3: 1.1.0 -> 1.1.1 (#52980)	2018-12-29 21:05:23 +01:00
Vincent Laporte	bc8d25c1ef	why3: 1.0.0 -> 1.1.0	2018-10-18 05:43:36 +00:00
Ricardo M. Correia	0cf09556eb	why3: 0.88.3 -> 1.0.0	2018-07-21 22:53:44 +00:00
Vincent Laporte	aee1cebda7	why3: 0.88.1 -> 0.88.3	2018-01-14 05:51:06 +00:00
Moritz Kiefer	c0f08557b9	why3: 0.87.3 -> 0.88.1	2017-11-15 10:15:12 +01:00
Vincent Laporte	8c928cd55a	why3: 0.87.1 -> 0.87.3	2017-01-21 13:31:10 +00:00
Vincent Laporte	a577b3666e	why3: 0.87.0 -> 0.87.1	2016-06-09 09:51:38 +02:00
Vincent Laporte	9dfa26d2ce	why3: 0.86.3 -> 0.87.0	2016-04-05 08:09:00 +02:00
Vincent Laporte	014a30da93	why3: 0.86.2 -> 0.86.3 ... And merge with ocamlPackages.why3 (the OCaml library would not work correctly if packaged separately).	2016-03-04 09:29:10 +01:00
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