Vincent Laporte
f18c3af055
easycrypt: 2024.01 → 2024.09
2024-10-03 06:20:12 +02:00
stuebinm
ff1a94e523
treewide: add meta.mainProgram to packages with a single binary
...
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
Vincent Laporte
d0cdb657c2
why3: move the OCaml library to its own dev output
2024-01-29 09:40:12 +01:00
R. Ryantm
ba3295cbef
easycrypt: 2023.09 -> 2024.01
2024-01-18 08:47:12 +01:00
Vincent Laporte
181a9fe1ea
easycrypt: fix runtest command
...
The `ec-runtest` program is still available as a separate
easycrypt-runtest package, but the `easycrypt runtest` command now also
works out-of-the-box.
2023-11-20 09:04:33 +01:00
Vincent Laporte
368f95104b
easycrypt: 2022.04 → 2023.09
2023-09-29 10:33:21 +02:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 ( #220986 )
...
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-03-20 20:45:47 +01:00
Martin Weinelt
c2f03aa6f1
easycrypt-runtest: use other format
2022-09-19 16:05:27 +02:00
Vincent Laporte
4a87fcbc86
why3: 1.4.1 → 1.5.0
...
easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
2022-05-19 00:13:20 +02:00
Vincent Laporte
c777cdf5c5
easycrypt-runtest: init at 2022.04
2022-05-05 06:57:50 +02:00
Vincent Laporte
b20934a65c
easycrypt: init at 2022.04
2022-05-05 06:57:50 +02:00
