diff options
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 effee720d..b9b7ff32d 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 |