diff options
Diffstat (limited to 'misc/jmri/jmri.info')
| -rw-r--r-- | misc/jmri/jmri.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/misc/jmri/jmri.info b/misc/jmri/jmri.info index 61145d223d..ce11a52d09 100644 --- a/misc/jmri/jmri.info +++ b/misc/jmri/jmri.info @@ -1,10 +1,10 @@ PRGNAM="jmri" -VERSION="4.10" +VERSION="4.12" HOMEPAGE="http://jmri.org/" -DOWNLOAD="https://github.com/JMRI/JMRI/releases/download/v4.10/JMRI.4.10.R419243e.tgz" -MD5SUM="6d1d0ca38db2ebd523f895f9780ed757" +DOWNLOAD="https://github.com/JMRI/JMRI/releases/download/v4.12/JMRI.4.12+Rb6a9bb1.tgz" +MD5SUM="4bf8fdb433e41415378cd1123adc342e" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="" +REQUIRES="jdk" MAINTAINER="Heiko Rosemann" EMAIL="heiko.rosemann@web.de" |