rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bump release

This commit is contained in:
Jens Petersen 2023-02-18 00:53:34 +08:00
parent cd72da1b95
commit 659376cb02
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Agda.spec
View File

@ -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 <petersen@redhat.com> - 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 <releng@fedoraproject.org> - 2.6.2.2-37
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild