diff options
| author | Vincent Laporte | 2018-11-21 11:30:55 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-26 08:44:06 +0000 |
| commit | 51ce6bf10be48a479d80978d6c1a517336aa3458 (patch) | |
| tree | d280e4ed775913ce5926b173ed728f1c801422d3 /dev/ci | |
| parent | b400fa987dec3c2dabfd69ce305d3ab8f1dc8952 (diff) | |
[nix-ci] Use master version of Unicoq
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/nix/unicoq.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dev/ci/nix/unicoq.nix b/dev/ci/nix/unicoq.nix index f10afd5680..093c262cde 100644 --- a/dev/ci/nix/unicoq.nix +++ b/dev/ci/nix/unicoq.nix @@ -1,11 +1,8 @@ -{ stdenv, fetchzip, coq }: +{ stdenv, coq }: stdenv.mkDerivation { name = "coq${coq.coq-version}-unicoq-0.0-git"; - src = fetchzip { - url = "https://github.com/vbgl/unicoq/archive/8b33e37700e92bfd404bf8bf9fe03f1be8928d97.tar.gz"; - sha256 = "0s4z0wjxlp56ccgzxgk04z7skw90rdnz39v730ffkgrjl38rr9il"; - }; + src = fetchTarball https://github.com/unicoq/unicoq/archive/master.tar.gz; buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml findlib camlp5 num ]); |