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

   1 { lib
   2 , fetchFromGitHub
   3 , python3
   4 , coq
   5 }:
   6
   7 python3.pkgs.buildPythonPackage rec {
   8   pname = "coq-jupyter";
   9   version = "1.6.0";
  10
  11   src = fetchFromGitHub {
  12     owner = "EugeneLoy";
  13     repo = "coq_jupyter";
  14     rev = "v${version}";
  15     sha256 = "sha256-+Pp51cxeqjg5MW4CEccNWVjNcY9iyFNATIEage9RWJ0=";
  16   };
  17
  18   propagatedBuildInputs = (with python3.pkgs; [ ipykernel future ]) ++ [ coq ];
  19
  20   nativeBuildInputs = [ coq ];
  21
  22   doCheck = false;
  23
  24   meta = with lib; {
  25     homepage = "https://github.com/EugeneLoy/coq_jupyter";
  26     description = "Jupyter kernel for Coq";
  27     license = licenses.asl20;
  28     maintainers = with maintainers; [ thomasjm ];
  29   };
  30 }