nixpkgs/pkgs/applications/editors/jupyter-kernels/coq/kernel.nix

{
  lib,
  fetchFromGitHub,
  python3,
  coq,
}:

python3.pkgs.buildPythonPackage rec {
  pname = "coq-jupyter";
  version = "1.6.0";

  src = fetchFromGitHub {
    owner = "EugeneLoy";
    repo = "coq_jupyter";
    rev = "v${version}";
    sha256 = "sha256-+Pp51cxeqjg5MW4CEccNWVjNcY9iyFNATIEage9RWJ0=";
  };

  propagatedBuildInputs =
    (with python3.pkgs; [
      ipykernel
      future
    ])
    ++ [ coq ];

  nativeBuildInputs = [ coq ];

  doCheck = false;

  meta = with lib; {
    homepage = "https://github.com/EugeneLoy/coq_jupyter";
    description = "Jupyter kernel for Coq";
    license = licenses.asl20;
    maintainers = with maintainers; [ thomasjm ];
  };
}