python3Packages.coq-tools: init at 0.0.36 (#455032)

2025-11-10 08:15:19 +00:00
parent dabc6ffdb4 b68d2ff377
commit 49aa1c4eb5
2 changed files with 32 additions and 0 deletions
@@ -0,0 +1,30 @@
+{
+  lib,
+  buildPythonPackage,
+  fetchPypi,
+  setuptools,
+}:
+
+buildPythonPackage rec {
+  pname = "coq-tools";
+  version = "0.0.36";
+  pyproject = true;
+
+  src = fetchPypi {
+    pname = "coq_tools";
+    inherit version;
+    hash = "sha256-lZ469FZ19Cy+LdC4ymU4wVWe7ZtPSbYlgmym/ouQSwk=";
+  };
+
+  build-system = [ setuptools ];
+
+  pythonImportsCheck = [ "coq_tools" ];
+
+  meta = {
+    description = "Tools for working with Coq proof assistant";
+    homepage = "https://pypi.org/project/coq-tools/";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ siraben ];
+    platforms = lib.platforms.all;
+  };
+}
@@ -3066,6 +3066,8 @@ self: super: with self; {

  copykitten = callPackage ../development/python-modules/copykitten { };

+  coq-tools = callPackage ../development/python-modules/coq-tools { };
+
  coqpit = callPackage ../development/python-modules/coqpit { };

  corallium = callPackage ../development/python-modules/corallium { };