python3Packages.coq-tools: init at 0.0.36

{

  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;

  };

}

  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 { };