diff --git a/Agda.spec b/Agda.spec index 83ecd00..8d914d4 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: 37%{?dist} +Release: 38%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD-3-Clause @@ -319,6 +319,10 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* 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 + * Wed Jul 20 2022 Fedora Release Engineering - 2.6.2.2-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild