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

[ci] force Biniou to 1.2.1

parent 92ca8d6f
No related branches found
No related tags found
No related merge requests found
......@@ -14,6 +14,7 @@ let mydir = builtins.getEnv("PWD");
"why3=1.5.0" "why3-coq=1.5.0"
"menhir=20211012"
"easy-format=1.3.2"
"biniou=1.2.1"
];
# only pure nix packages. See mk_deriv below for adding opam2nix packages
mk_buildInputs = { nixPackages ? [] } :
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment