From 918b4c454eabed56fdc3c2774d4246289ee11ac5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 20 Jun 2022 16:10:40 +0200
Subject: [PATCH] [ci] force yojson to 1.7.0
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index b2181d7ac05..8e212504cac 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -8,7 +8,7 @@ let mydir = builtins.getEnv("PWD");
selection = "${mydir}/${name}-${ocaml.version}-opam-selection.nix";
};
opamPackages =
- [ "ocamlfind=1.9.3" "zarith" "ocamlgraph" "yojson" "zmq"
+ [ "ocamlfind=1.9.3" "zarith" "ocamlgraph" "yojson=1.7.0" "zmq"
"ppx_import" "ppx_deriving" "ppx_deriving_yojson"
"coq=8.13.0" "alt-ergo=2.2.0"
"why3=1.5.0" "why3-coq=1.5.0"
--
GitLab