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 |
|