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 = ''
  
positive.code: 
  rustPlatform.buildRustPackage rec {
    pname = "elan";
    version = "1.1.0";
  
    src = fetchFromGitHub {
      owner = "leanprover";
      repo = "elan";
      rev = "v${version}";
      sha256 = "0xmml81krr0i18b14dymfdq43szpzws7qj8k404qab51lkqxyxsb";
    };
  
    cargoSha256 = "sha256-xjJ39hoSDn0VUH0YcL+mQBXbzFcIvZ38dPjBxV/yVNc=";
  
    nativeBuildInputs = [ pkg-config makeWrapper ];
  
  
negative.code: { stdenv, lib, runCommand, patchelf, makeWrapper, pkg-config, curl
  , openssl, gmp, zlib, fetchFromGitHub, rustPlatform, libiconv }:
  
  let
  