Name:           python-coq-config
Version:        0.0.2
Release:        1%{?dist}
Summary:        "Script to set up a Coq project dependencies using opam, inspired by Haskell's stack."

# Check if the automatically generated License and its spelling is correct for Fedora
# https://docs.fedoraproject.org/en-US/packaging-guidelines/LicensingGuidelines/
License:        BSD
URL:            https://github.com/vzaliva/coq-config
Source0:        %{pypi_source coq-config}

BuildArch:      noarch
BuildRequires:  python3-devel


# Fill in the actual package description to submit package to Fedora
%global _description %{expand:
This is package 'coq-config' generated automatically by pyp2spec.}


%description %_description

%package -n     python3-coq-config
Summary:        %{summary}

%description -n python3-coq-config %_description


%prep
%autosetup -p1 -n coq-config-%{version}


%generate_buildrequires
%pyproject_buildrequires -r


%build
%pyproject_wheel


%install
%pyproject_install
# For official Fedora packages, including files with '*' +auto is not allowed
# Replace it with a list of relevant Python modules/globs and list extra files in %%files
%pyproject_save_files '*' +auto


%check
%pyproject_check_import -t


%files -n python3-coq-config -f %{pyproject_files}


%changelog
* Wed Feb 09 2022 mockbuilder - 0.0.2-1
- Package generated with pyp2spec