diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-29 10:21:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-29 10:21:06 +0200 |
| commit | ba809fa844b517e8a3606d9f6a6cac22e5585e27 (patch) | |
| tree | 29eaab9645816be4ab6278dba62507e3ed49bfec /default.nix | |
| parent | a205bb9f2a93396aad154ec50f6f122cbd46811c (diff) | |
| parent | addc553ce5867d25f139bf794752ddcddb5381e7 (diff) | |
Merge PR #7084: [default.nix] Unpin nixpkgs
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 |