anchor.diff:         --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; do
  +    for link in lean leanpkg leanchecker leanc leanmake lake; do
         ln -s elan $link
       done
       popd
  
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: { stdenv, lib, runCommand, patchelf, makeWrapper, pkg-config, curl
  , fetchpatch
  , openssl, gmp, zlib, fetchFromGitHub, rustPlatform, libiconv }:
  
  let
  