anchor.diff:      platforms = platforms.linux;
     };
   }
  -
  
positive.code: { stdenv, fetchurl, autoreconfHook
  , doxygen, texlive, python, perl, gmpxx, mpfr, boost
  } :
  
  let
    version = "1.1.5";
  
negative.code:   doCheck = true;
  
    configureFlags = [
      "--with-libint-max-am=${toString maxAm}"
      "--with-libderiv-max-am1=${toString (maxAm - 1)}"
    ];
  
    meta = with stdenv.lib; {
  