blob: c753e78d2ff5e002dda9e2413b48c0d8ce215162 (
plain)
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
31
32
33
34
35
36
37
38
39
40
41
|
{
lib,
python,
buildPythonPackage,
fetchFromGitHub,
setuptools,
}:
buildPythonPackage rec {
pname = "low-index";
version = "1.2.1";
pyproject = true;
src = fetchFromGitHub {
owner = "3-manifolds";
repo = "low_index";
tag = "v${version}_as_released";
hash = "sha256-T8hzC9ulikQ1pUdbXgjuKAX5oMJEycPvXWv74rCkQGY=";
};
build-system = [ setuptools ];
pythonImportsCheck = [ "low_index" ];
checkPhase = ''
runHook preCheck
${python.interpreter} -m low_index.test
runHook postCheck
'';
meta = {
description = "Enumerates low index subgroups of a finitely presented group";
changelog = "https://github.com/3-manifolds/low_index/releases/tag/${src.tag}";
homepage = "https://github.com/3-manifolds/low_index";
license = lib.licenses.gpl2Plus;
maintainers = with lib.maintainers; [
noiioiu
alejo7797
];
};
}
|