diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-12 15:28:34 +0200 |
|---|---|---|
| committer | Rok Garbas <rok@garbas.si> | 2015-06-18 11:47:34 +0200 |
| commit | 2583b22573310b866348ab05564c3e37a409392c (patch) | |
| tree | 8e60c81dcb1a1e4097e721aaf9606cd6f9e8a97c /pkgs | |
| parent | 2205847614a3b0fab586f58981b6899d631529fd (diff) | |
| download | nixlib-2583b22573310b866348ab05564c3e37a409392c.tar nixlib-2583b22573310b866348ab05564c3e37a409392c.tar.gz nixlib-2583b22573310b866348ab05564c3e37a409392c.tar.bz2 nixlib-2583b22573310b866348ab05564c3e37a409392c.tar.lz nixlib-2583b22573310b866348ab05564c3e37a409392c.tar.xz nixlib-2583b22573310b866348ab05564c3e37a409392c.tar.zst nixlib-2583b22573310b866348ab05564c3e37a409392c.zip | |
frama-c: fix hash, closes #8308
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index b7c71475d6c5..2132d1e19b47 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -8,7 +8,7 @@ stdenv.mkDerivation rec { src = fetchurl { url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; - sha256 = "0wackacnnpxnh3612ld68bal8b1dm9cdsi180lw42bsyks03h5mn"; + sha256 = "0zask160vj8bxgc07dzxj5hqbdp6gz5g00j6za5397961imxhxaq"; }; why2 = fetchurl { |