%global gitcommit cbad126b94de20fc6238e8d9ace3d5c1d2c2dbb7
%global snapshot 20260120

%global pkg_name array

%global debug_package %{nil}

Name:           idris2-%{pkg_name}
Version:        0.0.1
Release:        1%{?dist}.%{snapshot}
Summary:        Immutable and mutable (linear) size-indexed arrays

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

BuildRequires:  idris2
BuildRequires:  idris2-ref1
Requires:       idris2
Requires:       idris2-ref1

%description
This library provides utilities for working with immutable and mutable arrays.
They are indexed by their size, which allows us to safely access the values
they hold if we can proof that an index is strictly smaller than an array's
size.


%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