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

update to 2.5.3

Browse Source
This commit is contained in:
Jens Petersen 2018-01-02 17:48:13 +08:00
parent 253d8eaad6
commit e2ed4b024d
2 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
Agda.spec
View File

@ -9,12 +9,13 @@
%global geniplatemirror geniplate-mirror-0.7.5
%global monadplus monadplus-1.4.2
%global murmurhash murmur-hash-0.1.0.9
%global subpkgs %{EdisonAPI} %{EdisonCore} %{geniplatemirror} %{monadplus} %{murmurhash}
%global uriencode uri-encode-1.5.0.5
%global subpkgs %{EdisonAPI} %{EdisonCore} %{geniplatemirror} %{monadplus} %{murmurhash} %{uriencode}
Name: %{pkg_name}
Version: 2.5.2
Version: 2.5.3
# can only be reset when all subpkgs bumped
Release: 10%{?dist}
Release: 11%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@ -25,6 +26,7 @@ Source2: https://hackage.haskell.org/package/%{geniplatemirror}/%{genipla
Source3: https://hackage.haskell.org/package/%{monadplus}/%{monadplus}.tar.gz
Source4: https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
Source5: https://hackage.haskell.org/package/%{EdisonAPI}/%{EdisonAPI}.tar.gz
Source6: https://hackage.haskell.org/package/%{uriencode}/%{uriencode}.tar.gz
Source10: agda-mode-init.el
BuildRequires: ghc-Cabal-devel
@ -35,7 +37,9 @@ BuildRequires: chrpath
BuildRequires: cpphs
#BuildRequires: ghc-EdisonCore-devel
BuildRequires: ghc-array-devel
BuildRequires: ghc-async-devel
BuildRequires: ghc-binary-devel
BuildRequires: ghc-blaze-html-devel
BuildRequires: ghc-boxes-devel
BuildRequires: ghc-bytestring-devel
BuildRequires: ghc-containers-devel
@ -58,14 +62,14 @@ BuildRequires: ghc-parallel-devel
BuildRequires: ghc-pretty-devel
BuildRequires: ghc-process-devel
BuildRequires: ghc-regex-tdfa-devel
BuildRequires: ghc-stm-devel
BuildRequires: ghc-strict-devel
BuildRequires: ghc-template-haskell-devel
BuildRequires: ghc-text-devel
BuildRequires: ghc-time-devel
BuildRequires: ghc-transformers-compat-devel
BuildRequires: ghc-transformers-devel
BuildRequires: ghc-unordered-containers-devel
BuildRequires: ghc-xhtml-devel
#BuildRequires: ghc-uri-encode-devel
BuildRequires: ghc-zlib-devel
BuildRequires: happy
# End cabal-rpm deps
@ -125,14 +129,14 @@ This package provides the Haskell %{name} library development files.
%ghc_lib_subpackage %{geniplatemirror}
%ghc_lib_subpackage %{monadplus}
%ghc_lib_subpackage %{murmurhash}
%ghc_lib_subpackage %{uriencode}
%endif
%global version %{main_version}
%prep
%setup -q -a1 -a2 -a3 -a4 -a5
cabal-tweak-dep-ver ieee754 '< 0.8' '< 0.9'
%setup -q -a1 -a2 -a3 -a4 -a5 -a6
# tweak the Agda version in the emacs mode
if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
@ -223,6 +227,10 @@ mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
%changelog
* Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
- update to 2.5.3
- add uri-encode subpackage
* Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
- ieee754 is now a separate package

2
sources
View File

@ -3,4 +3,4 @@ SHA512 (EdisonAPI-1.3.1.tar.gz) = 677161da64856421c834856ee2f5ef7f59880883433d5c
SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
SHA512 (EdisonCore-1.3.1.1.tar.gz) = 2e290a5c792a136931387936f457a45913edeedb9eda8006649b974d9aea294b9f1b7e5b2aa020c3ed151934cef8b2bd228e2cb56f7db37f35d59dcb23f7bcb8
SHA512 (Agda-2.5.2.tar.gz) = 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164
SHA512 (Agda-2.5.3.tar.gz) = d75d006ce37db576544c0bbbce3c2c508fe9b0f611c5717e8516aff59349af1322f684c338ac3928fce03d7883c4101206d7c236bf7a669f757537b119ffc52e