update to 2.4.2.2
This commit is contained in:
parent
558558bc01
commit
6984fbff07
1
.gitignore
vendored
1
.gitignore
vendored
@ -2,3 +2,4 @@
|
||||
/Agda-2.3.2.1.tar.gz
|
||||
/Agda-2.3.2.2.tar.gz
|
||||
/Agda-2.4.2.tar.gz
|
||||
/Agda-2.4.2.2.tar.gz
|
||||
|
@ -3,7 +3,7 @@
|
||||
%global pkg_name Agda
|
||||
|
||||
Name: %{pkg_name}
|
||||
Version: 2.4.2
|
||||
Version: 2.4.2.2
|
||||
Release: 1%{?dist}
|
||||
Summary: A dependently typed functional programming language and proof assistant
|
||||
|
||||
@ -40,6 +40,7 @@ BuildRequires: ghc-parallel-devel
|
||||
BuildRequires: ghc-pretty-devel
|
||||
BuildRequires: ghc-process-devel
|
||||
BuildRequires: ghc-strict-devel
|
||||
BuildRequires: ghc-template-haskell-devel
|
||||
BuildRequires: ghc-text-devel
|
||||
BuildRequires: ghc-time-devel
|
||||
BuildRequires: ghc-transformers-devel
|
||||
@ -47,6 +48,7 @@ BuildRequires: ghc-unordered-containers-devel
|
||||
BuildRequires: ghc-xhtml-devel
|
||||
BuildRequires: ghc-zlib-devel
|
||||
BuildRequires: happy
|
||||
ExclusiveArch: %{ghc_arches_with_ghci}
|
||||
# End cabal-rpm deps
|
||||
BuildRequires: emacs(bin)
|
||||
# geniplate uses template-haskell
|
||||
@ -214,6 +216,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
|
||||
|
||||
|
||||
%changelog
|
||||
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
|
||||
- update to 2.4.2.2
|
||||
|
||||
* Fri Feb 6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
||||
- update to 2.4.2
|
||||
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
|
||||
|
Loading…
Reference in New Issue
Block a user