7 Commits

Author	SHA1	Message	Date
Vincent Laporte	b0b49878bc	ocamlPackages.mirage: use Dune 3	2023-02-24 15:50:53 +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	af34e3be8c	ocamlPackages.cmdliner: default to 1.1 ... ocamlPackages.alcotest: 1.5.0 → 1.6.0 ocamlPackages.crowbar: 0.2 → 0.2.1 ocamlPackages.dune-release: 1.5.1 → 1.6.2 ocamlPackages.functoria: 3.1.1 → 4.2.0 ocamlPackages.mirage: 3.10.7 → 4.2.0 ocamlPackages.irmin-pack: disable checks ocamlPackages.mdx: disable checks ocamlPackages.git-unix: mark as broken	2022-09-18 15:03:10 +02:00
sternenseemann	caf07b0ebf	ocamlPackages.mirage: reintroduce dev output ... The changed dune install directive to install libraries to the dev output was removed by mistake.	2020-12-30 17:52:00 +01:00
sternenseemann	bca81534f0	ocamlPackages.mirage: fix build by adding missing deps ... Previously the mirage library/package wouldn't be built/installed correctly due to missing deps which I now added as specified in the opam file. While I was at it, I also enabled tests.	2020-12-29 22:47:41 +01:00
Vincent Laporte	9ca92f0a5b	ocamlPackages.mirage: init at 3.9.0	2020-11-14 09:11:28 +01:00