From 659376cb024b2aa9746228fdc33e853122a86513 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 18 Feb 2023 00:53:34 +0800 Subject: [PATCH] bump release --- Agda.spec | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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