%global gitcommit 4613ad32868e19f6a52f4bb0bd7bbd8228c4414f
%global snapshot 20260220

%global pkg_name ref1

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.7.0
Release:        1%{?dist}.%{snapshot}
Summary:        Linear mutable references and utilities

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

BuildRequires:  idris2
Requires:       idris2

%description
Mutable state is anathema to pure functional programming. Or is it?
In this library, we explore a way to keep mutable references and other mutable
data structures within the boundaries of pure computations, making sure they do
not leak into the outside world - and that they are properly released before we
are done. This allows us to get the raw performance - and sometimes,
convenience - of mutable state without sacrificing referential transparency.


%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>
- initial package