rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update to 0.15

Browse source
This commit is contained in:
Jens Petersen 2018-07-01 17:45:39 +09:00
commit ea1ad25e63
3 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -3,3 +3,4 @@
/filemanip-0.3.6.3.tar.gz
/agda-stdlib-0.11.tar.gz
/agda-stdlib-0.13.tar.gz
/agda-stdlib-0.15.tar.gz

7
Agda-stdlib.spec
View file

@ -3,8 +3,8 @@
# - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
Name: Agda-stdlib
Version: 0.13
Release: 4%{?dist}
Version: 0.15
Release: 1%{?dist}
Summary: Agda standard libraries
Group: Development/Libraries
@ -69,6 +69,9 @@ rm README.agdai README/*.agdai
%changelog
* Sun Jul 1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
- update to 0.15 for Agda-2.5.3
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

2
sources
View file

@ -1 +1 @@
SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece
SHA512 (agda-stdlib-0.15.tar.gz) = 4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b