Unverified Commit c7770b17 authored by Philip Taron's avatar Philip Taron Committed by GitHub
Browse files

why3find: 1.2.0 -> 1.3.0 (#481810)

parents 54807374 620dbdbd

pkgs/by-name/wh/why3find/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -10,14 +10,14 @@ 


ocamlPackages.buildDunePackage (finalAttrs: {

  pname = "why3find";

  version = "1.2.0";

  version = "1.3.0";



  src = fetchFromGitLab {

    domain = "git.frama-c.com";

    owner = "pub";

    repo = "why3find";

    tag = finalAttrs.version;

    hash = "sha256-fqB6VrJ79E6KSAnq8TZGNFlvWbDaBNh+gbuRf0CFFy8=";

    hash = "sha256-G1Cmmo83Le1WRBTeit2NvyXvWpw0yJtd2kRiGMKSPrs=";

  };



  nativeBuildInputs = lib.optionals stdenv.hostPlatform.isDarwin [