pkgbase = rodin
	pkgdesc = Tool for cost effective rigorous development of dependable software systems
	pkgver = 3.2
	pkgrel = 1
	url = http://www.event-b.org
	arch = i686
	arch = x86_64
	license = CPL
	license = EPL
	depends = python
	depends = libxrender
	depends = fontconfig
	depends = java-runtime
	source = rodin.desktop
	source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.2/rodin-3.2.0.201506220911-ecacdcb-linux.gtk.x86.tar.gz
	md5sums = b9941b26369aff6665dcde43091ebef9
	md5sums = 7f52140cc41133908b19ed8758d9b80b
	sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75
	sha256sums = ede945b0abde3c1167d77f1cedba15c2234671a4c8e3e65cfbfd487fad0dee2a

pkgname = rodin