anchor.diff: -{ stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla
  -, libsigsegv, gmpxx, cln
  +{ stdenv, fetchurl, unzip, makeWrapper, flex, bison, ncurses, buddy, tecla
  +, libsigsegv, gmpxx, cln, yices
   }:
   
   let
   
  -  version = "2.7.1";
  +  version = "3.0";
   
     fullMaude = fetchurl {
  -    url = "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-${version}.zip";
  -    sha256 = "0y4gn7n8vh24r24vckhpkd46hb5hqsbrm4w9zr6dz4paafq12fjc";
  +    url = "http://maude.cs.illinois.edu/w/images/0/04/Full-Maude-${version}.zip";
  +    sha256 = "0gf36wlkkl343vlxgryqdhxmgyn8z0cc2zayccd7ac3inmj1iayw";
     };
   
   in
  
positive.code:   meta = {
      homepage = http://maude.cs.illinois.edu/;
      description = "High-level specification language";
      license = stdenv.lib.licenses.gpl2;
  
      longDescription = ''
        Maude is a high-performance reflective language and system
  
negative.code:   inherit version;
  
    src = fetchurl {
      url = "http://maude.cs.illinois.edu/w/images/9/92/Maude-${version}.tar.gz";
      sha256 = "0vhn3lsck6ji9skrgm67hqrn3k4f6y442q73jbw65qqznm321k5a";
    };
  
    buildInputs = [
      flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cln yices
    ];
  
    hardeningDisable = [ "stackprotector" ] ++
  