Package Details: rodin 3.4-2

Git Clone URL: (read-only, click to copy)
Package Base: rodin
Description: Tool for cost effective rigorous development of dependable software systems
Upstream URL:
Licenses: EPL, CPL
Submitter: aspirogrammer
Maintainer: None
Last Packager: aspirogrammer
Votes: 3
Popularity: 0.000000
First Submitted: 2015-11-24 10:10 (UTC)
Last Updated: 2019-04-03 05:22 (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 <>
Date:   Fri May 7 11:51:25 2021 +0200

    Update to 3.5

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

 pkgdesc="Tool for cost effective rigorous development of dependable software systems"
 arch=('i686' 'x86_64')
@@ -13,11 +13,11 @@ license=('CPL' 'EPL')
 depends=('python' 'libxrender' 'fontconfig' 'java-runtime')
-         'c9869435fcb8180620aa1d91d8cfa7ad')
+         'f8bb4632bdb84f200eb3f0496f627332')
-            '5c7f923ae8219c779f9bfe3550ef2eebc15162998faadc3c5ba9ac8408048729')
+            '1732e9c7f81c2234700935538c4cc46284890149cf3bc40d957882e01dc2c9f8')


 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-
==> 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: