From b5c2b01b9d0e0ff5781063d53d722d2cd8391957 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 28 Jun 2022 11:49:35 +0200
Subject: [PATCH] [ci] force Biniou to 1.2.1
---
nix/default.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/default.nix b/nix/default.nix
index ba25519912f..7d5b49d4dfa 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -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 ? [] } :
--
GitLab