From addc553ce5867d25f139bf794752ddcddb5381e7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 27 Mar 2018 13:38:27 +0200
Subject: [default.nix] Unpin nixpkgs

Sphinx dependencies are now available in unstable channel
---
 default.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'default.nix')

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