Package Details: rodin 3.9-1

Git Clone URL: https://aur.archlinux.org/rodin.git (read-only, click to copy)
Package Base: rodin
Description: Tool for cost effective rigorous development of dependable software systems
Upstream URL: http://www.event-b.org
Licenses: EPL, CPL
Submitter: aspirogrammer
Maintainer: Ordoviz
Last Packager: Ordoviz
Votes: 3
Popularity: 0.000000
First Submitted: 2015-11-24 10:10 (UTC)
Last Updated: 2025-05-13 12:39 (UTC)

Dependencies (4)

Required by (0)

Sources (2)

Latest Comments

j05hv4 commented on 2021-05-07 09:53 (UTC)

The following patch updates to 3.5. Would you kindly apply it?

commit 4f7a2ff2bff32a4f2c2b84e854666adf288a4faa
Author: Joshua Bachmeier <joshua@bachmeier.cc>
Date:   Fri May 7 11:51:25 2021 +0200

    Update to 3.5

diff --git a/PKGBUILD b/PKGBUILD
index 60036d0..af89063 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,9 +3,9 @@
 # Contributor: Gustavo A. Gomez Farhat <gustavo_dot_gomez_dot_farhat at gmail_dot_com>

 pkgname=rodin
-pkgver=3.4
-pkgver_upstream=0.201802230927-6980ca1
-pkgrel=2
+pkgver=3.5
+pkgver_upstream=0.202009111309-74e0e4188
+pkgrel=0
 pkgdesc="Tool for cost effective rigorous development of dependable software systems"
 arch=('i686' 'x86_64')
 url="http://www.event-b.org"
@@ -13,11 +13,11 @@ license=('CPL' 'EPL')
 depends=('python' 'libxrender' 'fontconfig' 'java-runtime')
 source=('rodin.desktop')
 md5sums=('b9941b26369aff6665dcde43091ebef9'
-         'c9869435fcb8180620aa1d91d8cfa7ad')
+         'f8bb4632bdb84f200eb3f0496f627332')
 sha256sums=('aa4c0909b4e156f20882a1b861c6a7b37d144a18e9fe7fa00088b9dc2f586d75'
-            '5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729')
+            '1732e9c7f81c2234700935538c4cc46284890149cf3bc40d957882e01dc2c9f8')

-source+=(http://downloads.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86_64.tar.gz)
+source+=(https://deac-ams.dl.sourceforge.net/project/rodin-b-sharp/Core_Rodin_Platform/${pkgver}/rodin-${pkgver}.${pkgver_upstream}-linux.gtk.x86_64.tar.gz)

 package() {
   cd $srcdir/$pkgname

sseneca commented on 2019-04-03 08:49 (UTC) (edited on 2019-04-03 08:52 (UTC) by sseneca)

This now installs but the package doesn't get added to PATH. The following lines fixed the issue in my PKGBUILD:

mkdir -p $pkgdir/usr/bin/
ln -s "/opt/$pkgname/$pkgname" "$pkgdir/usr/bin/$pkgname"

and appending them to the end of your PKGBUILD also seems to fix the issue. Unless those are the lines that don't follow the guidelines you mentioned?

Also, arch=('i686' 'x86_64') should surely be changed to arch=('x86_64') since rodin 3.4 isn't offered in a 32-bit version.

aspirogrammer commented on 2019-04-03 05:24 (UTC)

Updated it again, I hope this was an error due to the architecture flag.

sseneca commented on 2019-04-01 21:29 (UTC) (edited on 2019-04-01 21:30 (UTC) by sseneca)

Cool! I tried to install it again from the AUR, but got an error:

==> Making package: rodin 3.4-1 (Mon Apr  1 22:24:53 2019)
==> Retrieving sources...
  -> Found rodin.desktop
  -> Downloading rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64.tar.gz...
==> ERROR: Integrity checks (md5) differ in size from the source array.

aspirogrammer commented on 2019-04-01 01:00 (UTC)

Thanks. Updated. (The PKGBUILD does not follow some guidelines, so I modified it a bit differently.)

sseneca commented on 2019-03-26 23:18 (UTC) (edited on 2019-03-31 12:04 (UTC) by sseneca)

Here is a PKGBUILD updated for version 3.4 of rodin: https://gitlab.com/sseneca/rodin-aur/blob/master/PKGBUILD