blob: 9ce73e164581793265048e791afde876a537a118 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = jjbmc
pkgdesc = Java Software Verification Tool
pkgver = 1.0
pkgrel = 1
url = https://github.com/JonasKlamroth/JJBMC
arch = any
license = unknown
depends = jre8-openjdk-headless
noextract = JJBMC.jar
source = https://github.com/JonasKlamroth/JJBMC/releases/download/ISoLa/JJBMC.jar
source = jjbmc.sh
sha256sums = a678dabf3c8bc986d5f589c8830ac828545c8a4a36e2011a1246639d24641258
sha256sums = 143b2d54b35d8602a9bdbb2009fc39d1c0065890f4ad50bc311f9c80446cf986
pkgname = jjbmc
|