public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs: compcert 2.6 -> 2.7.1

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2016-08-13 23:03:16 +00:00
parent 97e5b88d06
commit f277185b48
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/compcert/default.nix
View File

@ -4,11 +4,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "compcert-${version}"; name = "compcert-${version}";
version = "2.6"; version = "2.7.1";
src = fetchurl { src = fetchurl {
url = "http://compcert.inria.fr/release/${name}.tgz"; url = "http://compcert.inria.fr/release/${name}.tgz";
sha256 = "05sdxgg2w7ykw6xbcq6dl2kzxdz4qzhjajiawpy6490wqiji7wm1"; sha256 = "1vhbs1fmr9x2imqyd6yfvkbz763jhjfm9wk4nizf9rn1cvxrjqa4";
}; };
buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib menhir ]); buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib menhir ]);

1
pkgs/top-level/all-packages.nix
View File

@ -4393,6 +4393,7 @@ in
else {} else {}
) // { ) // {
ocamlPackages = ocamlPackages_4_02; ocamlPackages = ocamlPackages_4_02;
coq = coq_8_5;
}); });
cryptol = self.haskell.packages.lts.cryptol; cryptol = self.haskell.packages.lts.cryptol;