rebuild
This commit is contained in:
parent
f518914766
commit
0ecfc193f9
|
@ -4,7 +4,7 @@
|
|||
|
||||
Name: %{pkg_name}
|
||||
Version: 2.3.2.1
|
||||
Release: 4%{?dist}
|
||||
Release: 5%{?dist}
|
||||
Summary: A dependently typed functional programming language and proof assistant
|
||||
|
||||
License: MIT and BSD
|
||||
|
@ -214,6 +214,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
|
|||
|
||||
|
||||
%changelog
|
||||
* Mon Sep 2 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
|
||||
- rebuild
|
||||
|
||||
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
|
||||
- emacs agda-mode no longer depends on haskell-mode since 2.3.2
|
||||
|
||||
|
|
Loading…
Reference in New Issue