diff --git a/Agda.spec b/Agda.spec index 8d914d4..bff0250 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.6.2.2 # can only be reset when all subpkgs bumped -Release: 38%{?dist} +Release: 38.rvre0%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD-3-Clause @@ -319,6 +319,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Mon Jun 26 2023 David Abdurachmanov - 2.6.2.2-38.rvre0 +- Rebuilt for Fedora/RISCV (riscv64) + * Sat Feb 18 2023 Jens Petersen - 2.6.2.2-38 - refresh to cabal-rpm-2.1.0 including SPDX migration - bump geniplate-mirror to 0.7.9