Commit 263dc0c3 authored by Tim Kräuter's avatar Tim Kräuter Committed by Vincent Laporte
Browse files

maude: 3.3.1 -> 3.4

parent 47cd7e20

pkgs/development/interpreters/maude/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ 
}:



let

  version = "3.3.1";

  version = "3.4";

in



stdenv.mkDerivation {
@@ -13,8 +13,8 @@ stdenv.mkDerivation { 
  inherit version;



  src = fetchurl {

    url = "https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude${version}.tar.gz";

    sha256 = "ueM8qi3fLogWT8bA+ZyBnd9Zr9oOKuoiu2YpG6o5J1E=";

    url = "https://github.com/maude-lang/Maude/archive/refs/tags/Maude${version}.tar.gz";

    sha256 = "IXWEWAmh388NpNSt9wnOpLkzhZ09N+AStO2wn5dRT8o=";

  };



  nativeBuildInputs = [ flex bison unzip makeWrapper ];