9 Commits

Author	SHA1	Message	Date
Vincent Laporte	b9e07a88a2	ocamlPackages.mirage-crypto: use Dune 3	2023-03-09 18:19:14 +01:00
Théo Zimmermann	92d2950194	ocamlPackages.mirage-crypto: 0.10.7 -> 0.11.0 ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>	2023-03-09 15:24:25 +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	5b9a398716	ocamlPackages.mirage-unix: 4.0.1 → 5.0.0 ... ocamlPackages.mirage-crypto: 0.10.5 → 0.10.6	2022-09-15 15:35:45 +02:00
Ulrik Strid	a13cdfe520	ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs ... To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier	2022-02-24 14:39:27 +01:00
sternenseemann	d78a3bac05	ocamlPackages.mirage-crypto*: 0.7.0 → 0.8.0 ... * ocamlPackages.mirage-crypto * ocamlPackages.mirage-crypto-pk * ocamlPackages.mirage-crypto-rng * ocamlPackages.mirage-crypto-rng-mirage: new package which was previously part of mirage-crypto-rng	2020-06-19 22:56:58 +02:00
sternenseemann	2d51940df5	ocamlPackages.mirage-crypto{,-pk,-rng}: 0.6.2 → 0.7.0	2020-05-21 21:11:21 +02:00
sternenseemann	c2db123b21	mirage-crypto{,-rng,-pk}: init at 0.6.2	2020-04-14 18:06:16 +02:00