Unverified Commit 28739eac authored by Peter Simons's avatar Peter Simons Committed by GitHub
Browse files

maude: 3.5 -> 3.5.1 (#439373)

parents 74ecc525 c29c39e1

pkgs/by-name/ma/maude/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -19,13 +19,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "maude";

  version = "3.5";

  version = "3.5.1";



  src = fetchFromGitHub {

    owner = "maude-lang";

    repo = "Maude";

    tag = "Maude${finalAttrs.version}";

    hash = "sha256-1no5K3+0N4MCg2Nr+9FgwWH6G9Inwh2MIYuA/auZhys=";

    hash = "sha256-NluckH48G4Y79exEQM+hB4oMujA2jcHUFgG3qe+9fGw=";

  };



  # Always enabled in CVC4 1.8: https://github.com/CVC4/CVC4/pull/4519