anchor.diff:    postInstall = ''
       pushd $out/bin
       mv elan-init elan
  -    for link in lean leanpkg leanchecker; do
  +    for link in lean leanpkg leanchecker leanc; do
         ln -s elan $link
       done
       popd
  
positive.code: 
  rustPlatform.buildRustPackage rec {
    pname = "elan";
    version = "0.7.5";
  
    src = fetchFromGitHub {
      owner = "kha";
  
negative.code:     sha256 = "1147f3lzr6lgvf580ppspn20bdwnf6l8idh1h5ana0p0lf5a0dn1";
    };
  
    cargoSha256 = "19bhfpbj1isr448kpjws8w6b08gl9pafjd4fry7kzh9mhkf0rf7i";
  
    nativeBuildInputs = [ pkgconfig ];
  
  