nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-16 17:14:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

framac: 28.1 (Nickel) → 29.0 (Copper)

Browse Source
This commit is contained in:
Vincent Laporte 2024-06-28 06:24:17 +02:00 committed by Vincent Laporte
parent d9c0b9d611
commit ed1c133972
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -37,12 +37,12 @@ in
stdenv.mkDerivation rec {
pname = "frama-c";
version = "28.1";
slang = "Nickel";
version = "29.0";
slang = "Copper";
src = fetchurl {
url = "https://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
hash = "sha256-AiC8dDt9okaM65JvMx7cfd+qfGA7pHli3j4zyOHj9ZM=";
hash = "sha256-0vuzuND/g5RYcunm+iWOk0pwY2DmmNrjtNX5ca3fdJM=";
};
preConfigure = ''