Commit 17e8a70e authored by Peter Simons's avatar Peter Simons
Browse files

maude: update from version 3.3 to 3.3.1

parent 98317948

pkgs/development/interpreters/maude/default.nix

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


let



  version = "3.3";

  version = "3.3.1";



  fullMaude = fetchurl {

    url = "https://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-3.2.1.zip";
@@ -19,7 +19,7 @@ stdenv.mkDerivation { 


  src = fetchurl {

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

    sha256 = "aebf21523ba7999b4594e315d49b92c5feaef7ca5d176e2e62a8ee1b901380c6";

    sha256 = "ueM8qi3fLogWT8bA+ZyBnd9Zr9oOKuoiu2YpG6o5J1E=";

  };



  nativeBuildInputs = [ flex bison unzip makeWrapper ];