Commit 8b26f67c authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

alt-ergo: 2.4.2 → 2.4.3 

(cherry picked from commit 1f7e936bb928c76c406999b26edaa2ecc8ad139f)
parent 8c5f01ab

pkgs/applications/science/logic/alt-ergo/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 


let

  pname = "alt-ergo";

  version = "2.4.2";

  version = "2.4.3";



  configureScript = "ocaml unix.cma configure.ml";
@@ -10,7 +10,7 @@ let 
    owner = "OCamlPro";

    repo = pname;

    rev = "refs/tags/${version}";

    hash = "sha256-8pJ/1UAbheQaLFs5Uubmmf5D0oFJiPxF6e2WTZgRyAc=";

    hash = "sha256-2XARGr8rLiPMOM0rBBoRv5tZvKYtkLkJctGqLYkMe7Q=";

  };

in
@@ -20,7 +20,7 @@ let alt-ergo-lib = ocamlPackages.buildDunePackage rec { 
  configureFlags = [ pname ];

  nativeBuildInputs = [ which ];

  buildInputs = with ocamlPackages; [ dune-configurator ];

  propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex seq stdlib-shims zarith ];

  propagatedBuildInputs = with ocamlPackages; [ dune-build-info num ocplib-simplex seq stdlib-shims zarith ];

  preBuild = ''

    substituteInPlace src/lib/util/version.ml --replace 'version="dev"' 'version="${version}"'

  '';