diff options
| author | Vincent Laporte | 2018-12-03 13:18:50 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-01-24 14:53:08 +0000 |
| commit | 736a425208ef526412a961e97e157b44eea050c5 (patch) | |
| tree | 1b5b61f66886f9c52685ff26a0b0b079243ef58b /dev/ci/nix/default.nix | |
| parent | bb1ad2a59f0c9c6b62a1c70023a9ee31866b9a01 (diff) | |
[Nix-ci] Fix Unicoq
Diffstat (limited to 'dev/ci/nix/default.nix')
| -rw-r--r-- | dev/ci/nix/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index ac4894dfd3..35f44f8e84 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -33,7 +33,7 @@ let corn = (coqPackages.corn.override { inherit coq bignums math-classes; }) src = fetchTarball "https://github.com/coq-community/corn/archive/master.tar.gz"; }); in -let unicoq = callPackage ./unicoq.nix { inherit coq; }; in +let unicoq = callPackage ./unicoq { inherit coq; }; in let callPackage = newScope { inherit coq mathcomp bignums coqprime corn math-classes unicoq; }; in |