diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-27 13:38:27 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-27 13:38:27 +0200 |
commit | addc553ce5867d25f139bf794752ddcddb5381e7 (patch) | |
tree | da0d7f17bc9ccc3e0e26b66bcf72f733276191d5 /default.nix | |
parent | 01b7de3a673eb89cea61442c4db721aad9520c9f (diff) |
[default.nix] Unpin nixpkgs
Sphinx dependencies are now available in unstable channel
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 5 |
1 files changed, 1 insertions, 4 deletions
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 |