From 8fee0fdcb0e9021ee3427cffcba4e77c6a6e3bc9 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 9 Mar 2018 16:01:47 +0000
Subject: [default.nix] Pin nixpkgs version to include Sphinx dependencies

---
 default.nix | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index eec82624d..9d93abe74 100644
--- a/default.nix
+++ b/default.nix
@@ -21,8 +21,15 @@
 # Once the build is finished, you will find, in the current directory,
 # a symlink to where Coq was installed.
 
-{ pkgs ? (import <nixpkgs> {}), ocamlPackages ? pkgs.ocamlPackages,
-  buildIde ? true, buildDoc ? true, doCheck ? true }:
+{ pkgs ?
+    (import (fetchTarball
+      "https://github.com/NixOS/nixpkgs/archive/4345a2cef228a91c1d6d4bf626a0f933eb8cc4f9.tar.gz")
+    {})
+, ocamlPackages ? pkgs.ocamlPackages
+, buildIde ? true
+, buildDoc ? true
+, doCheck ? true
+}:
 
 with pkgs;
 
-- 
cgit v1.2.3