blob: 70f18624d9dbfcd991bbd1b313adede2ce866196 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = openjml-bin
pkgdesc = Java Software Verification Tool
pkgver = 0.8.44
pkgrel = 2
url = https://www.openjml.org/
arch = any
license = unknown
depends = java-runtime
optdepends = z3
source = https://github.com/OpenJML/OpenJML/releases/download/0.8.44/openjml-0.8.44-20200413.zip
source = openjml.sh
sha256sums = a0ca1867f4b8511fbbbff56968505d9c1120b59efbed6c9ef0eb9077fb763c7d
sha256sums = ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca
pkgname = openjml-bin
|