.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pkgbase = ofmcgui
	pkgdesc = A graphical interface for the Open-Source Fixed-Point Model-Checker (OFMC)
	pkgver = r7.efd86ae
	pkgrel = 2
	url = https://github.com/ulfur88/OFMCGUI
	arch = x86_64
	license = BSD
	depends = java-runtime>=12
	depends = java-openjfx>=12
	depends = ofmc>=2018
	source = git+https://github.com/ulfur88/OFMCGUI.git#commit=efd86ae
	source = BSD Licence.txt
	source = ofmcgui.sh
	md5sums = SKIP
	md5sums = 1a9d9940302d5c93d73a724ed7f4ce87
	md5sums = 424d976c1a21b6bf18ce7d18aad5b1d7

pkgname = ofmcgui