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

update to 2.6.0.1

Browse Source
This commit is contained in:
Jens Petersen 2019-07-25 10:33:15 +00:00
parent 93c549754b
commit 13455a7ccc
3 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -19,3 +19,4 @@
/EdisonCore-1.3.2.1.tar.gz
/geniplate-mirror-0.7.6.tar.gz
/Agda-2.5.4.2.tar.gz
/Agda-2.6.0.1.tar.gz

16
Agda.spec
View File

@ -12,9 +12,9 @@
%global subpkgs %{EdisonAPI} %{EdisonCore} %{geniplatemirror} %{murmurhash} %{uriencode}
Name: %{pkg_name}
Version: 2.5.4.2
Version: 2.6.0.1
# can only be reset when all subpkgs bumped
Release: 18%{?dist}
Release: 19%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@ -41,6 +41,7 @@ BuildRequires: ghc-rpm-macros-extra
BuildRequires: alex
BuildRequires: chrpath
#BuildRequires: ghc-EdisonCore-devel
BuildRequires: ghc-aeson-devel
BuildRequires: ghc-array-devel
BuildRequires: ghc-async-devel
BuildRequires: ghc-binary-devel
@ -53,7 +54,7 @@ BuildRequires: ghc-deepseq-devel
BuildRequires: ghc-directory-devel
BuildRequires: ghc-edit-distance-devel
BuildRequires: ghc-equivalence-devel
BuildRequires: ghc-filemanip-devel
BuildRequires: ghc-exceptions-devel
BuildRequires: ghc-filepath-devel
#BuildRequires: ghc-geniplate-mirror-devel
BuildRequires: ghc-gitrev-devel
@ -66,6 +67,7 @@ BuildRequires: ghc-mtl-devel
BuildRequires: ghc-pretty-devel
BuildRequires: ghc-process-devel
BuildRequires: ghc-regex-tdfa-devel
BuildRequires: ghc-split-devel
BuildRequires: ghc-stm-devel
BuildRequires: ghc-strict-devel
BuildRequires: ghc-template-haskell-devel
@ -171,7 +173,10 @@ This package provides the Haskell %{name} profiling library.
# Begin cabal-rpm setup:
%setup -q -a1 -a2 -a3 -a4 -a5
# End cabal-rpm setup
(
cd %{geniplatemirror}
cabal-tweak-dep-ver template-haskell '< 2.14' '< 3'
)
# tweak the Agda version in the emacs mode
if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
echo "agda2-version in src/data/emacs-mode/agda2-mode.el out of sync!"
@ -267,6 +272,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19
- update to 2.6.0.1
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

2
sources
View File

@ -4,4 +4,4 @@ SHA512 (geniplate-mirror-0.7.6.tar.gz) = e75f42524d76f02f2dd66ca240ec4b2711445d7
SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
SHA512 (uri-encode-1.5.0.5.tar.gz) = 1ad0fb5144b93dce50ffaf99a84ba2fe8c05508866fb374d62b75c4a32b58f3c97d7ec30257eec29973ad15fde4e902286e86a41ee36e62b00e00d941e181885
SHA512 (Agda-2.5.4.2.tar.gz) = cf8fcc3dfb6863f89b0834d5658efcc86d74af3b57df554b233e6a43c852c7e66929d1446ee12968770babaa46d6086b8a22c73964e4e40b0dfd3e6383f6eae9
SHA512 (Agda-2.6.0.1.tar.gz) = 90d5e4939f2ca373b5b2aa2809ea97e7e4ec5ffdbf864dd1b0fe24d8a8971e7e599b03896315c82f7d57f24fcf7c694f6b06595cda26be3afee0fa15a72c3c35