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

update to 1.2 release

Browse source
This commit is contained in:
Jens Petersen 2020-05-27 01:24:43 +08:00
commit 60694d6f97
3 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -6,3 +6,4 @@
/agda-stdlib-0.15.tar.gz
/agda-stdlib-0.17.tar.gz
/agda-stdlib-1.1.tar.gz
/agda-stdlib-1.2.tar.gz

8
Agda-stdlib.spec
View file

@ -1,8 +1,8 @@
# https://fedoraproject.org/wiki/Packaging:Haskell
Name: Agda-stdlib
Version: 1.1
Release: 2%{?dist}
Version: 1.2
Release: 1%{?dist}
Summary: Agda standard libraries
License: MIT
@ -74,6 +74,10 @@ agda -i. -isrc README.agda
%changelog
* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
- update to 1.2
- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

2
sources
View file

@ -1 +1 @@
SHA512 (agda-stdlib-1.1.tar.gz) = 1d73b6bbac70653b6be13714fdb3c077600ab08809ea8a3741e54d94e1e11294ed5adb30b17cc3073d7942451a53c9a7d005d1c6a4541b78fbfd50fdffe24c74
SHA512 (agda-stdlib-1.2.tar.gz) = 0007a591bf8cf5470ec63381b511692afd2e5665b6894a8864b30a17e02e8294a39d1522a815f66ac2e0175502bd6ad8da7f01f55c6900b6923a5140f4b714ca