blob: e2348c459353874d61d750282ae5d3df57a00232 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Generated by mksrcinfo v8
# Wed Apr 3 05:22:29 UTC 2019
pkgbase = rodin
pkgdesc = Tool for cost effective rigorous development of dependable software systems
pkgver = 3.4
pkgrel = 2
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.4/rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64.tar.gz
md5sums = b9941b26369aff6665dcde43091ebef9
md5sums = c9869435fcb8180620aa1d91d8cfa7ad
sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75
sha256sums = 5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729
pkgname = rodin
|