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

frama-c: fix hash, closes #8308

Browse Source
This commit is contained in:
Vincent Laporte 2015-06-12 15:28:34 +02:00 committed by Rok Garbas
parent 2205847614
commit 2583b22573
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -8,7 +8,7 @@ stdenv.mkDerivation rec {
src = fetchurl { src = fetchurl {
url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz";
sha256 = "0wackacnnpxnh3612ld68bal8b1dm9cdsi180lw42bsyks03h5mn"; sha256 = "0zask160vj8bxgc07dzxj5hqbdp6gz5g00j6za5397961imxhxaq";
}; };
why2 = fetchurl { why2 = fetchurl {