Skip to content
Snippets Groups Projects
Commit e510f1f0 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Fix easy format version to 1.3.2 

avoids dune/opam issue mentionned here: https://github.com/ocaml/dune/issues/5455
parent 18dabba4
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 0 deletions
nix/default.nix
+ 1
− 0
View file @ e510f1f0
...@@ -13,6 +13,7 @@ let mydir = builtins.getEnv("PWD"); ...@@ -13,6 +13,7 @@ let mydir = builtins.getEnv("PWD");
"coq=8.13.0" "alt-ergo=2.2.0" "coq=8.13.0" "alt-ergo=2.2.0"
"why3=1.4.0" "why3-coq=1.4.0" "why3=1.4.0" "why3-coq=1.4.0"
"menhir=20211012" "menhir=20211012"
"easy-format=1.3.2"
]; ];
# only pure nix packages. See mk_deriv below for adding opam2nix packages # only pure nix packages. See mk_deriv below for adding opam2nix packages
mk_buildInputs = { nixPackages ? [] } : mk_buildInputs = { nixPackages ? [] } :
......
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