diff options
| author | kaptoxic | 2015-11-24 14:10:02 -0500 |
|---|---|---|
| committer | kaptoxic | 2015-11-24 14:10:02 -0500 |
| commit | 42adc90df6f4963d4719a1d66ee993980f962aff (patch) | |
| tree | 80a5365c1aa22ad2e9ceebc9a80f2224890de871 /.SRCINFO | |
| parent | be30c230fdc757b51678d99b1eacefd7d9675214 (diff) | |
| download | aur-42adc90df6f4963d4719a1d66ee993980f962aff.tar.gz | |
Update the package
Add desktop launcher
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = rodin - pkgdesc = Open tool platform for the cost effective rigorous development of dependable complex software systems services. - pkgver = 3.0.1 + pkgdesc = Tool for cost effective rigorous development of dependable software systems + pkgver = 3.2 pkgrel = 1 url = http://www.event-b.org arch = i686 @@ -11,11 +11,11 @@ pkgbase = rodin depends = libxrender depends = fontconfig depends = java-runtime - source = rodin.profile - source = http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/3.0.1/rodin-3.0.1.201406111447-5326174-linux.gtk.x86.tar.gz - md5sums = c9fcb488308b15325449384d0fe9c411 + 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 = 69193f15dabda1ee69b45744a22f0306f67793e71b629befcbd3e27c93ff5b8e + sha256sums = aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75 sha256sums = ede945b0abde3c1167d77f1cedba15c2234671a4c8e3e65cfbfd487fad0dee2a pkgname = rodin |