diff options
| author | R. Ryantm <ryantm-bot@ryantm.com> | 2024-03-06 02:58:40 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-03-12 05:01:48 +0100 |
| commit | ac050096a0d847c690be84b51c41f7bbfa7bbb06 (patch) | |
| tree | 6fbe210bc6d6ebaa83fc494c97ead2bcea21ce76 | |
| parent | 43092bdad4f5dfa7c7c3dab2ef182c8d4465e528 (diff) | |
framac: 28.0 -> 28.1
| -rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 1bf477cf3d16b..37b44e1f80447 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -37,12 +37,12 @@ in stdenv.mkDerivation rec { pname = "frama-c"; - version = "28.0"; + version = "28.1"; slang = "Nickel"; src = fetchurl { url = "https://frama-c.com/download/frama-c-${version}-${slang}.tar.gz"; - hash = "sha256-KWEogjMOy27d0LTKOvwEkrcND+szeaG46JMZTG4XOYM="; + hash = "sha256-AiC8dDt9okaM65JvMx7cfd+qfGA7pHli3j4zyOHj9ZM="; }; preConfigure = '' |