From 5019a427bfd8cb26b33756ca1ed5bfaa714013b2 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 30 Jul 2024 16:06:13 +0200
Subject: [PATCH] [ci] tries to fix coq version
---
nix/pkgs.nix | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 977fcbd283b..71bc887fc3a 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -8,7 +8,9 @@ let
odoc = oself.callPackage ./odoc.nix {};
odoc-parser = oself.callPackage ./odoc-parser.nix {};
ppxlib = oself.callPackage ./ppxlib.nix {};
- why3 = oself.callPackage ./why3.nix {};
+ why3 = oself.callPackage ./why3.nix {
+ coqPackages = pkgs.mkCoqPackages (pkgs.coq.override { version = "8.18";});
+ };
# Helpers
mk_tests = oself.callPackage ./mk_tests.nix {};
--
GitLab