diff options
| author | Mike Schwörer | 2023-09-15 14:26:56 +0200 |
|---|---|---|
| committer | Mike Schwörer | 2023-09-15 14:26:56 +0200 |
| commit | 23cc2eaba99a303570cb63bb9d977f8e64c4e5bc (patch) | |
| tree | 6defd3a5ca2249f2b85eb19ae1e365830dc577db | |
| parent | f9264e8bb96f016c90a066321354a003a7179f52 (diff) | |
| download | aur-key-project.tar.gz | |
key-2.12.0 (added missing SRCINFO)
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,23 +1,23 @@ pkgbase = key-project pkgdesc = A program to use formal verification with Java programs - pkgver = 2.10.0 - pkgrel = 2 + pkgver = 2.12.0 + pkgrel = 1 url = https://www.key-project.org/ arch = any license = GPL depends = java-runtime - noextract = key-2.10.0-exe.jar + noextract = key-2.12.0-exe.jar source = key-project source = key-project.desktop source = key-project16.png source = key-project32.png source = key-project64.png - source = https://www.key-project.org/dist/2.10.0/key-2.10.0-exe.jar + source = https://github.com/KeYProject/key/releases/download/KeY-2.12.0/key-2.12.0-exe.jar sha256sums = 102d85d94612272a66bf4612b06ffa0561b709bbeb3ea55ed9bd28b339211f18 - sha256sums = e7ec88c40bce27a7c344c90bc39c54a0f2a20e239f277a6e77cdbf6036957d7f + sha256sums = 16377958fce36d59c8fcfd9d0e34587ef1d671fd8c0aa79ca510539e1596fef5 sha256sums = f88c92559367ca052427ef090fa934a39753200a029a29b83092309912df36a8 sha256sums = ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62 sha256sums = ac2686c9d152af629f3beb2bcf219b8017df37adb8534ab054184c14b5e40b62 - sha256sums = eda4c9550ca5ca759f52c461a811d87dfb44dec9ec4bf3029eda4dd5cc33f145 + sha256sums = eb9a870b88914ea5b7e28a2eb6453a98e5aece45f95d21e76edb8c8094441c59 pkgname = key-project |