update gitrev and geniplate-mirror
This commit is contained in:
parent
df02d5a6af
commit
e8fe124f84
|
@ -12,3 +12,7 @@
|
|||
/ieee754-0.8.0.tar.gz
|
||||
/gitrev-1.2.0.tar.gz
|
||||
/EdisonCore-1.3.1.1.tar.gz
|
||||
/geniplate-mirror-0.7.5.tar.gz
|
||||
/Agda-2.5.3.tar.gz
|
||||
/gitrev-1.3.1.tar.gz
|
||||
/uri-encode-1.5.0.5.tar.gz
|
||||
|
|
11
Agda.spec
11
Agda.spec
|
@ -6,8 +6,9 @@
|
|||
|
||||
%global EdisonAPI EdisonAPI-1.3.1
|
||||
%global EdisonCore EdisonCore-1.3.1.1
|
||||
%global geniplatemirror geniplate-mirror-0.7.4
|
||||
%global gitrev gitrev-1.2.0
|
||||
%global geniplatemirror geniplate-mirror-0.7.5
|
||||
# https://bugzilla.redhat.com/show_bug.cgi?id=1511751
|
||||
%global gitrev gitrev-1.3.1
|
||||
%global ieee754 ieee754-0.8.0
|
||||
%global monadplus monadplus-1.4.2
|
||||
%global murmurhash murmur-hash-0.1.0.9
|
||||
|
@ -16,7 +17,7 @@
|
|||
Name: %{pkg_name}
|
||||
Version: 2.5.2
|
||||
# can only be reset when all subpkgs bumped
|
||||
Release: 7%{?dist}.1
|
||||
Release: 8%{?dist}
|
||||
Summary: A dependently typed functional programming language and proof assistant
|
||||
|
||||
License: MIT and BSD
|
||||
|
@ -226,6 +227,10 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
|
|||
|
||||
|
||||
%changelog
|
||||
* Fri Nov 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-8
|
||||
- geniplate-mirror-0.7.5
|
||||
- gitrev-1.3.1 (#1511680)
|
||||
|
||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
|
|
4
sources
4
sources
|
@ -1,8 +1,8 @@
|
|||
SHA512 (geniplate-mirror-0.7.5.tar.gz) = c5ca8c9de5e4ba00e45fbb3e1a2510cb02b6fe9fc1447ab0e40f70ff2a9c93234b1e114816a8cde3f8adffa63e830e8d5ced70a71863c357663e10632e372eac
|
||||
SHA512 (gitrev-1.3.1.tar.gz) = 8639e356490fba3461f8d7030326a6913846427255524213a73ee2ac5abf708f75efed99a0d9d574a73a2db88833814d1b634e6a5ec93c4bc03052435e0ea4cd
|
||||
SHA512 (EdisonAPI-1.3.1.tar.gz) = 677161da64856421c834856ee2f5ef7f59880883433d5c5c4061f0ab2faa0cb39c4eb83061820b77dab852acc4cce5dc75740fe454b15dbc2e67e6e84510ce42
|
||||
SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
|
||||
SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
|
||||
SHA512 (ieee754-0.8.0.tar.gz) = d75b619f0c0b9ac496a68997b6d79b3d7504221f1583e7c35ecc035b6e2b11559e402264f36827153aa89d9eabb27d9383413eb5fd157385b3f41c4f0050a43b
|
||||
SHA512 (gitrev-1.2.0.tar.gz) = ba794dfdec21a5b8ca19dff3ce712cb31f254ac59e166aad4fd33435649a7a5209fe9952cff230edc88d81e3622fe3b4f6199f3ef89e153d6e31cc6bca14d303
|
||||
SHA512 (EdisonCore-1.3.1.1.tar.gz) = 2e290a5c792a136931387936f457a45913edeedb9eda8006649b974d9aea294b9f1b7e5b2aa020c3ed151934cef8b2bd228e2cb56f7db37f35d59dcb23f7bcb8
|
||||
SHA512 (Agda-2.5.2.tar.gz) = 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164
|
||||
SHA512 (geniplate-mirror-0.7.4.tar.gz) = 52c2cd33320df0deaa1dc1e95d1a4874cd8493425542fcea375b81a5f85e8156a9ead67f4dc4b0e4d2e30553e2a914dd342133b4c2210501bf3442966baef8be
|
||||
|
|
Loading…
Reference in New Issue