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

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