From 031f218cbaef1c35a6e34476d906acd948bf3845 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 2 Oct 2020 13:07:51 +0200
Subject: [PATCH] [nix] downgrade alt-ergo to 2.3.1
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 326682997a7..1f34e3a63bd 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -160,7 +160,7 @@ rec {
wp-qualif = mk_deriv {
name = "frama-c-wp-qualif";
buildInputs = mk_buildInputs { opamPackages = [
- { name = "alt-ergo"; constraint = "=2.3.3"; }
+ { name = "alt-ergo"; constraint = "=2.3.1"; }
]; };
build_dir = main.build_dir;
src = main.build_dir + "/dir.tar";
--
GitLab