.SRCINFO


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

# Generated by mksrcinfo v8
# Mon Nov 27 15:38:31 UTC 2017
pkgbase = prob
	pkgdesc = ProB Animator and Model Checker
	pkgver = 1.7.1
	pkgrel = 2
	url = http://eclipseclp.org/
	arch = x86_64
	license = EPL 1.0
	depends = tk85
	depends = tcl85
	depends = java-runtime
	optdepends = graphviz: visualizations
	optdepends = gv: PostScript visualizations
	source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz
	md5sums_x86_64 = eb74b2991967f0a8ed8669c4186ac1fa

pkgname = prob