diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-05 16:54:37 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-09-18 15:03:10 +0200 |
| commit | af34e3be8c7d11b89779ccb5617c0c5f843dda6b (patch) | |
| tree | 08375d082af43682560472682cfea0c24254f290 /pkgs/applications/science/logic/alt-ergo | |
| parent | 6260b4f4285cefd8106bb9e21a9d9f8d6fba7fe0 (diff) | |
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
Diffstat (limited to 'pkgs/applications/science/logic/alt-ergo')
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index e5aee4d140aa3..d7396d5d9a61b 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -38,7 +38,7 @@ ocamlPackages.buildDunePackage { configureFlags = [ pname ]; nativeBuildInputs = [ which ocamlPackages.menhir ]; - buildInputs = [ alt-ergo-parsers ocamlPackages.cmdliner_1_1 ]; + buildInputs = [ alt-ergo-parsers ocamlPackages.cmdliner ]; meta = { description = "High-performance theorem prover and SMT solver"; |