Skip to content
Snippets Groups Projects
Commit cdbf19b6 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder

parents 0a63c0e6 ee8a0822
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
nix/default.nix
+ 1
− 1
View file @ cdbf19b6
...@@ -8,7 +8,7 @@ let mydir = builtins.getEnv("PWD"); ...@@ -8,7 +8,7 @@ let mydir = builtins.getEnv("PWD");
selection = "${mydir}/${name}-${ocaml.version}-opam-selection.nix"; selection = "${mydir}/${name}-${ocaml.version}-opam-selection.nix";
}; };
opamPackages = opamPackages =
[ "ocamlfind" "zarith" "ocamlgraph" "yojson" "zmq" [ "ocamlfind=1.9.3" "zarith" "ocamlgraph" "yojson" "zmq"
"ppx_import" "ppx_deriving" "ppx_deriving_yojson" "ppx_import" "ppx_deriving" "ppx_deriving_yojson"
"coq=8.13.0" "alt-ergo=2.2.0" "coq=8.13.0" "alt-ergo=2.2.0"
"why3=1.5.0" "why3-coq=1.5.0" "why3=1.5.0" "why3-coq=1.5.0"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment