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

bump geniplate-mirror to 0.7.9

This commit is contained in:
Jens Petersen 2023-01-29 22:44:09 +08:00
parent ccdfcab907
commit 938a3e810b
3 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -28,3 +28,4 @@
/Agda-2.6.2.1.tar.gz
/murmur-hash-0.1.0.10.tar.gz
/Agda-2.6.2.2.tar.gz
/geniplate-mirror-0.7.9.tar.gz

2
Agda.spec
View File

@ -9,7 +9,7 @@
%global pkg_name Agda
%global pkgver %{pkg_name}-%{version}
%global geniplatemirror geniplate-mirror-0.7.8
%global geniplatemirror geniplate-mirror-0.7.9
%global murmurhash murmur-hash-0.1.0.10
%global subpkgs %{geniplatemirror} %{murmurhash}

2
sources
View File

@ -1,3 +1,3 @@
SHA512 (Agda-2.6.2.2.tar.gz) = f54dcc0fd6dea106db4a04cc3b0b80f404f0613b5075849db17a1b4b5e176ed6d183bfdaf464fbcbc6e0807c1af0c8748f96552d48e537444109be54730685a8
SHA512 (geniplate-mirror-0.7.8.tar.gz) = 7d921cc31ad67d321158f2a0afb138d2c4e48857919691c21303561cb65b642168518ce8cb261d1572dbbcdfa6c578b2225d89f833e049237223f0b83b7e0261
SHA512 (geniplate-mirror-0.7.9.tar.gz) = b125680148ca808422ba4ddc85e0dfb8429d1906d90182ebcc8443dd4c9f02742c6fc002adcc487b3c17be811b02dca4a277485d32a57a5b581647182b04f452
SHA512 (murmur-hash-0.1.0.10.tar.gz) = d6d28fcd738de98ce4fb6c7e997b32bb15eef9efe53642cefffd2cfeccd1b56f634adbcadeec9fb94c69d1df9e675f7daf368c62806ef819dc242df947ddf70b