diff --git a/Agda.spec b/Agda.spec index ea0f600..195fba7 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: 36%{?dist} +Release: 37%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -273,6 +273,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Wed Jul 20 2022 Fedora Release Engineering - 2.6.2.2-37 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild + * Mon Jun 20 2022 Jens Petersen - add Provides agda