From 23f2c0405fe55d3c2f63e65880da906acf213254 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 15 Mar 2019 13:37:28 +0000
Subject: [nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”

---
 dev/ci/nix/default.nix | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'dev/ci')

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 992a246863..6dc0a71edc 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -20,8 +20,16 @@ let mathcomp = coqPackages.mathcomp.overrideAttrs (o: {
 let ssreflect = coqPackages.ssreflect.overrideAttrs (o: {
   inherit (mathcomp) src;
   }); in
-let coq-ext-lib = coqPackages.coq-ext-lib; in
-let simple-io = coqPackages.simple-io; in
+
+let coq-ext-lib = coqPackages.coq-ext-lib.overrideAttrs (o: {
+    src = fetchTarball "https://github.com/coq-ext-lib/coq-ext-lib/tarball/master";
+  }); in
+
+let simple-io = coqPackages.simple-io.overrideAttrs (o: {
+    src = fetchTarball "https://github.com/Lysxia/coq-simple-io/tarball/master";
+    buildInputs = o.buildInputs ++ [ coq-ext-lib ];
+  }); in
+
 let bignums = coqPackages.bignums.overrideAttrs (o:
     if bn == "release" then {} else
     if bn == "master" then { src = fetchTarball https://github.com/coq/bignums/archive/master.tar.gz; } else
-- 
cgit v1.2.3