Commit 1e65ae64 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

framac: 30.0 (Zinc) → 31.0 (Gallium)

parent 6ea5da5a

pkgs/by-name/fr/framac/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -46,12 +46,12 @@ in 


stdenv.mkDerivation rec {

  pname = "frama-c";

  version = "30.0";

  slang = "Zinc";

  version = "31.0";

  slang = "Gallium";



  src = fetchurl {

    url = "https://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";

    hash = "sha256-OsD5lSYeyCmnvQQr9w/CmsY3kCnrnfMLzARHSOtNKlY=";

    hash = "sha256-qUOE8A1TeRy7S02Dq0Fge8cZYtQkYfAtcRFsT/bcpWc=";

  };



  preConfigure = ''

pkgs/top-level/all-packages.nix

+0 −9
Original line number Diff line number Diff line
@@ -7232,15 +7232,6 @@ with pkgs; 


  flow = callPackage ../development/tools/analysis/flow { };



  framac = callPackage ../by-name/fr/framac/package.nix {

    ocamlPackages = ocaml-ng.ocamlPackages_5_2;

    why3 = why3.override {

      version = "1.7.2";

      coqPackages = coqPackages_8_18;

      ocamlPackages = ocaml-ng.ocamlPackages_5_2;

    };

  };



  fswatch = callPackage ../development/tools/misc/fswatch {

    autoreconfHook = buildPackages.autoreconfHook269;

  };