Vincent Laporte
4922992a04
ligo: 1.4.0 → 1.6.0
...
ocamlPackages.data-encoding: 0.7.1 → 1.0.1
ocamlPackages.index: 1.6.1 → 1.6.2
ocamlPackages.irmin: 3.7.2 → 3.9.0
ocamlPackages.irmin-http: remove at 3.7.2
ocamlPackages.mirage-kv: 4.0.1 → 6.1.1
ocamlPackages.terminal: 0.2.1 → 0.2.2
2024-04-18 05:49:15 +02:00
Vincent Laporte
099dccddc9
ocamlPackages.mirage-kv: 3.0.1 → 4.0.1
2023-03-09 07:22:27 +01:00
Ulrik Strid
c53a63adf1
ocamlPackages treewide: strictDeps all packages
2023-02-03 08:59:34 +01:00
Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Vincent Laporte
8f0accd00f
ocamlPackages.mirage-kv: init at 3.0.1
2020-10-24 12:25:02 +02:00
