Unverified Commit b8a53302 authored by Ryan Mulligan's avatar Ryan Mulligan Committed by GitHub
Browse files

Merge pull request #258899 from r-ryantm/auto-update/polyml 

polyml: 5.9 -> 5.9.1
parents a2b87a4f 980ee563

pkgs/development/compilers/polyml/default.nix

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


stdenv.mkDerivation rec {

  pname = "polyml";

  version = "5.9";

  version = "5.9.1";



  prePatch = lib.optionalString stdenv.isDarwin ''

    substituteInPlace configure.ac --replace stdc++ c++
@@ -28,7 +28,7 @@ stdenv.mkDerivation rec { 
    owner = "polyml";

    repo = "polyml";

    rev = "v${version}";

    sha256 = "sha256-4oo4AB54CivhS99RuZVTP9+Ic0CDpsBb+OiHvOhmZnM=";

    sha256 = "sha256-72wm8dt+Id59A5058mVE5P9TkXW5/LZRthZoxUustVA=";

  };



  meta = with lib; {