Commit ac050096 authored by R. RyanTM's avatar R. RyanTM Committed by Vincent Laporte
Browse files

framac: 28.0 -> 28.1

parent 43092bda

pkgs/development/tools/analysis/frama-c/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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 = ''