anchor.diff:      homepage = "https://sourceforge.net/projects/cdi2iso.berlios";
       license = licenses.gpl2;
       maintainers = with maintainers; [ hrdinka ];
  -    platforms = platforms.linux;
  +    platforms = platforms.all;
     };
   }
  
positive.code: {lib, stdenv, fetchurl}:
  
  stdenv.mkDerivation rec {
    pname = "cdi2iso";
  
negative.code:     sha256 = "0fj2fxhpr26z649m0ph71378c41ljflpyk89g87x8r1mc4rbq3kh";
    };
  
    postPatch = ''
      substituteInPlace Makefile --replace "gcc" "${stdenv.cc.targetPrefix}cc"
    '';
  
    installPhase = ''
      mkdir -p $out/bin
      cp cdi2iso $out/bin
    '';
  
    meta = with lib; {
  