diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-01-24 22:54:53 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-01-25 11:48:47 +0100 |
| commit | c0691a0659a06a0edfaa529568982d34b88e7eb9 (patch) | |
| tree | 7502017f1371471b704c6c82e7ca2950f08945c2 /pkgs/development/compilers | |
| parent | 1f2b819783d00f876865aee20cb63c477331a901 (diff) | |
| download | nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar.gz nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar.bz2 nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar.lz nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar.xz nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.tar.zst nixlib-c0691a0659a06a0edfaa529568982d34b88e7eb9.zip | |
compcert: 2.5 -> 2.6
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 3b1ebca17965..190f2b7a96af 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -4,14 +4,14 @@ stdenv.mkDerivation rec { name = "compcert-${version}"; - version = "2.5"; + version = "2.6"; src = fetchurl { url = "http://compcert.inria.fr/release/${name}.tgz"; - sha256 = "15gxarl2a8mz33fdn8pycj0ccazgmllbg2940n7aqdjlz807p11n"; + sha256 = "05sdxgg2w7ykw6xbcq6dl2kzxdz4qzhjajiawpy6490wqiji7wm1"; }; - buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml menhir ]); + buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib menhir ]); enableParallelBuilding = true; |