anchor.diff:  { stdenv, lib, runCommand, patchelf, makeWrapper, pkg-config, curl
  +, fetchpatch
   , openssl, gmp, zlib, fetchFromGitHub, rustPlatform, libiconv }:
   
   let
  
positive.code: 
  rustPlatform.buildRustPackage rec {
    pname = "elan";
    version = "1.0.7";
  
    src = fetchFromGitHub {
      owner = "leanprover";
      repo = "elan";
      rev = "v${version}";
      sha256 = "sha256-SFY9RbUHoaOXCaK+uIqhnKbzSkbtWiS6os/JvsggagI=";
    };
  
    cargoSha256 = "sha256-6TFionZw76V4htYQrz8eLX7ioW7Fbgd63rtz53s0TLU=";
  
    nativeBuildInputs = [ pkg-config makeWrapper ];
  
  
negative.code:        --subst-var dynamicLinker \
         --subst-var libPath
      '')
      # fix build, will be included in 1.1.1
      (fetchpatch {
        url = "https://github.com/leanprover/elan/commit/8d1dec09d67b2ac1768b111d24f1a1cabdd563fa.patch";
        sha256 = "sha256-yMdnXqycu4VF9EKavZ85EuspvAqvzDSIm5894SB+3+A=";
      })
    ];
  
    postInstall = ''
      pushd $out/bin
      mv elan-init elan
      for link in lean leanpkg leanchecker leanc leanmake lake; do
        ln -s elan $link
      done
      popd
  