add Provides agda
This commit is contained in:
parent
31a616d83e
commit
5383d0287c
@ -88,6 +88,7 @@ BuildRequires: ghc-uri-encode-prof
|
||||
BuildRequires: ghc-zlib-prof
|
||||
BuildRequires: alex
|
||||
BuildRequires: happy
|
||||
Provides: agda = %{version}-%{release}
|
||||
Requires: %{name}-common = %{version}-%{release}
|
||||
# End cabal-rpm deps
|
||||
BuildRequires: emacs(bin)
|
||||
@ -272,6 +273,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
||||
|
||||
|
||||
%changelog
|
||||
* Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
|
||||
- add Provides agda
|
||||
|
||||
* Tue Jun 7 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
|
||||
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
|
||||
- disable i686 (#2098425)
|
||||
|
Loading…
Reference in New Issue
Block a user