blob: 78bf84716fef5fd75811ff44d9b0aaa86480c41e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{ 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 ];
};
}
|