python3Packages.pytanque: init at 0.2.1

Author: remix7531

pkgs/development/python-modules/pytanque/default.nix

@@ -0,0 +1,42 @@
+{
+  lib,
+  buildPythonPackage,
+  fetchFromGitHub,
+
+  # build-system
+  setuptools,
+
+  # dependencies
+  typing-extensions,
+}:
+
+buildPythonPackage rec {
+  pname = "pytanque";
+  version = "0.2.1";
+  pyproject = true;
+
+  src = fetchFromGitHub {
+    owner = "LLM4Rocq";
+    repo = "pytanque";
+    tag = "v${version}";
+    hash = "sha256-XTWm7ngtf+aFJds0Gj6OZ3Pskk+3cVLK5/p4EMIAH+4=";
+  };
+
+  build-system = [ setuptools ];
+
+  dependencies = [
+    typing-extensions
+  ];
+
+  # Tests require a running Rocq Petanque server
+  doCheck = false;
+
+  pythonImportsCheck = [ "pytanque" ];
+
+  meta = {
+    description = "Python client for the Rocq Petanque interaction protocol";
+    homepage = "https://github.com/LLM4Rocq/pytanque";
+    license = lib.licenses.asl20;
+    maintainers = with lib.maintainers; [ remix7531 ];
+  };
+}

pkgs/top-level/python-packages.nix

@@ -15206,6 +15206,8 @@ self: super: with self; {
 
   pytankerkoenig = callPackage ../development/python-modules/pytankerkoenig { };
 
+  pytanque = callPackage ../development/python-modules/pytanque { };
+
   pytap2 = callPackage ../development/python-modules/pytap2 { };
 
   pytapo = callPackage ../development/python-modules/pytapo { };