{
  lib,
  stdenv,
  fetchzip,
  autoPatchelfHook,
  libgcc,
  zlib,
  gmp,
  ...
}:
stdenv.mkDerivation {
  pname = "concraft-pl";
  version = "2020-05-13";

  src = fetchzip {
    url = "https://zil.ipipan.waw.pl/Concraft?action=AttachFile&do=get&target=Concraft-Linux.zip";
    hash = "sha256-7CxCwaSgi8wIKxoaaMMT8DRApJj6eGsvgr0s6/YXn6g=";
  };

  buildInputs = [
    autoPatchelfHook

    gmp
    zlib
    libgcc
    stdenv.cc.cc.lib
  ];

  installPhase = ''
    mkdir -p "$out/bin";
    install -Dm 755 concraft-pl $out/bin;
  '';
}