.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# Generated by mksrcinfo v8
# Wed Mar 23 14:05:42 UTC 2016
pkgbase = divine
	pkgdesc = Explicit-state model checker
	pkgver = 3.3.2
	pkgrel = 1
	url = http://divine.fi.muni.cz
	arch = i686
	arch = x86_64
	license = custom:bsd3
	makedepends = cmake
	makedepends = flex
	makedepends = byacc
	depends = llvm
	depends = llvm-libs
	depends = openmpi
	optdepends = clang: for building LLVM bitcode
	optdepends = qt4: for GUI capabilities
	optdepends = boost: for verification of UPPAAL timed automata
	optdepends = boost-libs: for verification of UPPAAL timed automata
	optdepends = libxml2: for verification of UPPAAL timed automata
	source = http://divine.fi.muni.cz/download/divine-3.3.2.tar.gz
	sha256sums = 704dcda1c8fb0da9789468a89bb6e50f293460fe50ff82c0fe065a03a5e639fe

pkgname = divine