%global gitcommit e279843a99fe250e2fcd928c774ddb6ffe36815b
%global snapshot 20260120

%global pkg_name algebra

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.0.1
Release:        1%{?dist}.%{snapshot}
Summary:        Lawful algebraic structures

License:        BSD-3-Clause
URL:            https://github.com/stefan-hoeck/idris2-algebra
Source0:        https://github.com/stefan-hoeck/idris2-%{pkg_name}/archive/%{gitcommit}.tar.gz#/%{name}-%{version}^%{snapshot}.gite279843.tar.gz

BuildRequires:  idris2
Requires:       idris2

%description
This library provides laws and proofs for common algebraic structures such
as groups and rings. These laws are encoded as record types indexed over
the type and functions to which they apply.


%prep
%autosetup -n %{name}-%{gitcommit}


%build


%install
DESTDIR=%{buildroot} idris2 --install %{pkg_name}.ipkg

%global idris_libdir %{_libdir}/idris2-0.8.0

%files
%license LICENSE
%doc README.md
%{idris_libdir}/%{pkg_name}-%{version}



%changelog
* Mon Mar 02 2026 Jens Petersen <petersen@redhat.com>
-