diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-04-01 10:06:48 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-04-01 10:06:48 +0000 |
| commit | d6aee72a9e5ef0e7cada3d39efb3f82487225119 (patch) | |
| tree | b727103cc49b2c91de83bafd7ff6e2223e0b697b | |
| parent | a8811cb82bab25aa835a09dc48a2d9450448d6d5 (diff) | |
| download | nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar.gz nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar.bz2 nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar.lz nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar.xz nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.tar.zst nixpkgs-d6aee72a9e5ef0e7cada3d39efb3f82487225119.zip | |
compcert: 3.6 -> 3.7
| -rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 3a6c5e9c2c7..1665061125d 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -12,13 +12,13 @@ let in stdenv.mkDerivation rec { pname = "compcert"; - version = "3.6"; + version = "3.7"; src = fetchFromGitHub { owner = "AbsInt"; repo = "CompCert"; rev = "v${version}"; - sha256 = "1k9xhj7fgllhf7bn7rp3w6zfvs4clglnc4w39zp4678hrwvdcpha"; + sha256 = "1h4zhk9rrqki193nxs9vjvya7nl9yxjcf07hfqb6g77riy1vd2jr"; }; nativeBuildInputs = [ makeWrapper ]; |