%global pypi_name leanclient

Name:           python-leanclient
Version:        0.13.2
Release:        1%{?dist}
Summary:        Fast Python client for the Lean 4 language server

License:        MIT
URL:            https://github.com/oOo0oOo/leanclient
Source0:        %{pypi_source %{pypi_name}}

BuildArch:      noarch
BuildRequires:  python3-devel

%global _description %{expand:
leanclient is a fast, thin Python client for interacting with the Lean 4
theorem prover through its language server (LSP). It opens files and runs
requests against lean/lake, exposing goal state, diagnostics, hovers, symbols
and completions, which makes it a convenient substrate for programmatic and
machine-learning-driven interaction with Lean projects.}

%description %_description

%package -n python3-%{pypi_name}
Summary:        %{summary}

%description -n python3-%{pypi_name} %_description

%prep
%autosetup -n %{pypi_name}-%{version}
# 0.13.x pins watchfiles>=1.2.0 but only uses awatch(watch_filter=, debounce=,
# step=), all present since 0.x; f44 ships 1.1.1.
sed -i 's/"watchfiles>=1.2.0"/"watchfiles>=1.1"/' pyproject.toml

%generate_buildrequires
%pyproject_buildrequires

%build
%pyproject_wheel

%install
%pyproject_install
%pyproject_save_files -l %{pypi_name}

%check
%pyproject_check_import

%files -n python3-%{pypi_name} -f %{pyproject_files}
%doc README.md

%changelog
* Sat Sep 12 2026 Morgan Hough <morgan.hough@gmail.com> - 0.13.2-1
- Update to 0.13.2
- Relax the watchfiles>=1.2.0 pin to >=1.1 (f44 ships 1.1.1; API used is older)

* Wed Jun 24 2026 Morgan Hough <morgan.hough@gmail.com> - 0.11.0-1
- Initial package