update to 2.4.2
needs new deps: STMonadTrans, boxes, data-hash, equivalence, and QuickCheck 2.7.5+
This commit is contained in:
parent
6848da0999
commit
d6f36b5d3e
1
.gitignore
vendored
1
.gitignore
vendored
@ -1,3 +1,4 @@
|
|||||||
/Agda-executable-2.3.0.1.tar.gz
|
/Agda-executable-2.3.0.1.tar.gz
|
||||||
/Agda-2.3.2.1.tar.gz
|
/Agda-2.3.2.1.tar.gz
|
||||||
/Agda-2.3.2.2.tar.gz
|
/Agda-2.3.2.2.tar.gz
|
||||||
|
/Agda-2.4.2.tar.gz
|
||||||
|
38
Agda.spec
38
Agda.spec
@ -2,14 +2,17 @@
|
|||||||
|
|
||||||
%global pkg_name Agda
|
%global pkg_name Agda
|
||||||
|
|
||||||
|
# no useful debuginfo for Haskell packages without C sources
|
||||||
|
%global debug_package %{nil}
|
||||||
|
|
||||||
Name: %{pkg_name}
|
Name: %{pkg_name}
|
||||||
Version: 2.3.2.2
|
Version: 2.4.2
|
||||||
Release: 5%{?dist}
|
Release: 1%{?dist}
|
||||||
Summary: A dependently typed functional programming language and proof assistant
|
Summary: A dependently typed functional programming language and proof assistant
|
||||||
|
|
||||||
License: MIT and BSD
|
License: MIT and BSD
|
||||||
URL: http://hackage.haskell.org/package/%{name}
|
URL: http://hackage.haskell.org/package/%{name}
|
||||||
Source0: http://hackage.haskell.org/packages/archive/%{name}/%{version}/%{name}-%{version}.tar.gz
|
Source0: http://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
|
||||||
Source1: agda-mode-init.el
|
Source1: agda-mode-init.el
|
||||||
|
|
||||||
BuildRequires: ghc-Cabal-devel
|
BuildRequires: ghc-Cabal-devel
|
||||||
@ -17,13 +20,18 @@ BuildRequires: ghc-rpm-macros
|
|||||||
# Begin cabal-rpm deps:
|
# Begin cabal-rpm deps:
|
||||||
BuildRequires: alex
|
BuildRequires: alex
|
||||||
BuildRequires: chrpath
|
BuildRequires: chrpath
|
||||||
BuildRequires: ghc-QuickCheck-devel
|
BuildRequires: cpphs
|
||||||
|
BuildRequires: ghc-QuickCheck-devel >= 2.7.5
|
||||||
|
BuildRequires: ghc-STMonadTrans-devel
|
||||||
BuildRequires: ghc-array-devel
|
BuildRequires: ghc-array-devel
|
||||||
BuildRequires: ghc-binary-devel
|
BuildRequires: ghc-binary-devel
|
||||||
|
BuildRequires: ghc-boxes-devel
|
||||||
BuildRequires: ghc-bytestring-devel
|
BuildRequires: ghc-bytestring-devel
|
||||||
BuildRequires: ghc-containers-devel
|
BuildRequires: ghc-containers-devel
|
||||||
|
BuildRequires: ghc-data-hash-devel
|
||||||
BuildRequires: ghc-deepseq-devel
|
BuildRequires: ghc-deepseq-devel
|
||||||
BuildRequires: ghc-directory-devel
|
BuildRequires: ghc-directory-devel
|
||||||
|
BuildRequires: ghc-equivalence-devel
|
||||||
BuildRequires: ghc-filepath-devel
|
BuildRequires: ghc-filepath-devel
|
||||||
BuildRequires: ghc-geniplate-devel
|
BuildRequires: ghc-geniplate-devel
|
||||||
BuildRequires: ghc-hashable-devel
|
BuildRequires: ghc-hashable-devel
|
||||||
@ -31,11 +39,13 @@ BuildRequires: ghc-hashtables-devel
|
|||||||
BuildRequires: ghc-haskeline-devel
|
BuildRequires: ghc-haskeline-devel
|
||||||
BuildRequires: ghc-haskell-src-exts-devel
|
BuildRequires: ghc-haskell-src-exts-devel
|
||||||
BuildRequires: ghc-mtl-devel
|
BuildRequires: ghc-mtl-devel
|
||||||
BuildRequires: ghc-old-time-devel
|
|
||||||
BuildRequires: ghc-parallel-devel
|
BuildRequires: ghc-parallel-devel
|
||||||
BuildRequires: ghc-pretty-devel
|
BuildRequires: ghc-pretty-devel
|
||||||
BuildRequires: ghc-process-devel
|
BuildRequires: ghc-process-devel
|
||||||
|
BuildRequires: ghc-strict-devel
|
||||||
BuildRequires: ghc-text-devel
|
BuildRequires: ghc-text-devel
|
||||||
|
BuildRequires: ghc-time-devel
|
||||||
|
BuildRequires: ghc-transformers-devel
|
||||||
BuildRequires: ghc-unordered-containers-devel
|
BuildRequires: ghc-unordered-containers-devel
|
||||||
BuildRequires: ghc-xhtml-devel
|
BuildRequires: ghc-xhtml-devel
|
||||||
BuildRequires: ghc-zlib-devel
|
BuildRequires: ghc-zlib-devel
|
||||||
@ -98,12 +108,6 @@ be indexed by values and not just types. It also has parameterized
|
|||||||
modules, mixfix operators, Unicode characters, and an interactive
|
modules, mixfix operators, Unicode characters, and an interactive
|
||||||
Emacs interface (the type checker can assist in the development of your code).
|
Emacs interface (the type checker can assist in the development of your code).
|
||||||
|
|
||||||
Agda is also a proof assistant: It is an interactive system for writing and
|
|
||||||
checking proofs. Agda is based on intuitionistic type theory,
|
|
||||||
a foundational system for constructive mathematics developed by
|
|
||||||
the Swedish logician Per Martin-Löf. It has many similarities with other
|
|
||||||
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
|
|
||||||
|
|
||||||
This is the interactive Emacs mode for Agda.
|
This is the interactive Emacs mode for Agda.
|
||||||
|
|
||||||
|
|
||||||
@ -120,11 +124,7 @@ be indexed by values and not just types. It also has parameterized
|
|||||||
modules, mixfix operators, Unicode characters, and an interactive
|
modules, mixfix operators, Unicode characters, and an interactive
|
||||||
Emacs interface (the type checker can assist in the development of your code).
|
Emacs interface (the type checker can assist in the development of your code).
|
||||||
|
|
||||||
Agda is also a proof assistant: It is an interactive system for writing and
|
This package provides the elisp source files for the Emacs mode.
|
||||||
checking proofs. Agda is based on intuitionistic type theory,
|
|
||||||
a foundational system for constructive mathematics developed by
|
|
||||||
the Swedish logician Per Martin-Löf. It has many similarities with other
|
|
||||||
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
|
|
||||||
|
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
@ -217,6 +217,12 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Wed Sep 03 2014 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
||||||
|
- update to 2.4.2
|
||||||
|
- refresh to cblrpm-0.8.11
|
||||||
|
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
|
||||||
|
and QuickCheck 2.7.5+
|
||||||
|
|
||||||
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
|
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user