@dkasak Thank you for your comment. But I don't have time to maintain this package right now. Maybe you can help update the package yourself, thank you.
Search Criteria
Package Details: alloy 6.2.0-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/alloy.git (read-only, click to copy) |
---|---|
Package Base: | alloy |
Description: | A lightweight modelling language for software design. |
Upstream URL: | https://alloytools.org/ |
Keywords: | formal_methods model_checking |
Licenses: | MIT |
Submitter: | rodprice |
Maintainer: | dkasak |
Last Packager: | dkasak |
Votes: | 23 |
Popularity: | 0.000000 |
First Submitted: | 2009-07-27 20:29 (UTC) |
Last Updated: | 2025-01-12 16:07 (UTC) |
Dependencies (1)
- java-runtime (jre10AUR, jre12AUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, jre7AUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jre11-jbr-xdgAUR, jre16-openjdkAUR, jre14-openjdkAUR, jre15AUR, jre14AUR, jre13AUR, jre16AUR, jre18-openjdkAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jre-openj9AUR, jdk11-graalvm-ee-binAUR, jre12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk20-openj9-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jdk8-j9-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jre13-openjdkAUR, jre15-openjdkAUR, jdk21-graalvm-binAUR, jre17-jetbrainsAUR, jdk8-openj9-binAUR, jre-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, liberica-nik-24-full-binAUR, jre21-jetbrains-gitAUR, jdk21-jetbrains-gitAUR, zulu-17-binAUR, zulu-8-binAUR, mandrel-binAUR, mandrel24-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jdk17-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk22-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk22-graalvm-binAUR, jre19-openjdkAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, jre21-jetbrainsAUR, jdk17-zulu-prime-binAUR, jre17AUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, amazon-corretto-8AUR, amazon-corretto-11AUR, liberica-jdk-full-binAUR, liberica-jdk-21-full-binAUR, liberica-jdk-8-full-binAUR, jdk8-temurinAUR, zulu-21-binAUR, jre8AUR, jdk8AUR, jdk8-perfAUR, zulu-jre-fx-binAUR, zulu-fx-binAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, jdk11-openj9-binAUR, jre-jetbrainsAUR, jre-openjdk-wakefieldAUR, jdk-openjdk-wakefieldAUR, jdk21-openj9-binAUR, jreAUR, jdkAUR, jre-zulu-binAUR, jre-zulu-fx-binAUR, jdk21-dragonwell-standard-binAUR, jdk21-dragonwell-extended-binAUR, jdk-android-studioAUR, jdk17-openj9-binAUR, jre-zuluAUR, jre-zulu-fxAUR, jre21-zulu-binAUR, jre17-zulu-binAUR, jdk23-graalvm-ee-binAUR, zing-8-binAUR, zing-21-binAUR, openjdk-zulu-ca-fx-binAUR, openjdk-zulu8-ca-fx-binAUR, openjdk-zulu11-ca-fx-binAUR, openjdk-zulu17-ca-fx-binAUR, openjdk-zulu21-ca-fx-binAUR, jdk-openj9-binAUR, zulu-11-binAUR, jdk8-graalvm-ee-binAUR, jdk8-dragonwell-extendedAUR, java-openjdk-ea-binAUR, java-openjdk-binAUR, zulu-17-fx-binAUR, zulu-23-binAUR, jdk21-jetbrains-binAUR, jre11AUR, jdk-temurinAUR, jdk21-temurinAUR, jdk17-temurinAUR, jdk11-temurinAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk)
Required by (0)
Sources (4)
ADSWT518 commented on 2025-01-11 06:31 (UTC)
dkasak commented on 2025-01-10 15:35 (UTC)
Alloy 6.2.0 is out. Attaching a PKGBUILD diff.
diff --git a/PKGBUILD b/PKGBUILD
index aa53984..559efb7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
# Contributor: Rodney Price <rod@thirdoption.info>
pkgname="alloy"
-pkgver=6.1.0
+pkgver=6.2.0
pkgrel=1
pkgdesc="A lightweight modelling language for software design."
url="https://alloytools.org/"
@@ -18,20 +18,21 @@ conflicts=()
replaces=()
backup=()
install=
-source=("https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v6.0.0/org.alloytools.alloy.dist.jar"
+source=("https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v6.2.0/org.alloytools.alloy.dist.jar"
"alloy" "alloy.png" "alloy.desktop")
-md5sums=('44cddd0fe1b7faf21d0f405159efb586'
- '022d3b7cfbdf281b6c5d8fcefaf747b0'
- 'e117c6a2bb28826e9307cbf094e980ab'
- '3ad162df79191af3509afe9e232b1269')
+sha256sums=('6b8c1cb5bc93bedfc7c61435c4e1ab6e688a242dc702a394628d9a9801edb78d'
+ 'a9fcbd5177739a2baf827cce72f604dbba8a71dad34eee0fbd0b1886922f2f81'
+ '1864d1c67619a3699443c5e81b446d0e9d8cf04544e38b63f8811ac9553c371b'
+ '71abb29793c74fcb2673d4164420cbe1095b2b42213e6d5a2171e6cd027288ab')
+
package() {
mkdir -p ${pkgdir}/usr/share/alloy
mkdir -p ${pkgdir}/usr/bin
mkdir -p ${pkgdir}/usr/share/{applications,pixmaps}
-
+
cd ${srcdir}
- install -m 644 -D org.alloytools.alloy.dist.jar ${pkgdir}/usr/share/alloy/alloy6.1.0.jar
+ install -m 644 -D org.alloytools.alloy.dist.jar ${pkgdir}/usr/share/alloy/alloy6.2.0.jar
install -m 755 -D alloy ${pkgdir}/usr/bin/
# icon
install -Dm644 alloy.png $pkgdir/usr/share/pixmaps/alloy.png
diff --git a/alloy b/alloy
index 3072e62..f64194b 100755
--- a/alloy
+++ b/alloy
@@ -2,4 +2,4 @@
#
# A simple wrapper launcher script
-java -jar /usr/share/alloy/alloy6.1.0.jar "$@"
+java -jar /usr/share/alloy/alloy6.2.0.jar "$@"
ADSWT518 commented on 2022-05-13 03:37 (UTC) (edited on 2022-05-13 03:38 (UTC) by ADSWT518)
Alloy 6 uses new symbols (exactly two: the single quote ' and the semicolon ;) and several new keywords (as well as ones reserved for possible future extensions) listed below in alphabetical order:
after always before enabled event eventually historically invariant modifies once releases since steps triggered until var
Alloy 6 is compatible with old models as long as they don’t use these symbols or keywords. On the other hand, if an old model of yours uses single quotes or some of these keywords (as identifiers), then you will have to replace them to ensure that Alloy 6 interprets your model as before (for instance changing var into var_ or variable or foo). Notice the single quote can for instance be replaced with the double quote symbol " (which is legal Alloy).
Aecturus commented on 2018-03-07 12:45 (UTC)
I noticed that the download URL in the PKGBUILD is not valid anymore. The correct link is "http://alloytools.org/download/alloy4.2_2015-02-22.jar".
Pinned Comments
ADSWT518 commented on 2022-05-13 03:37 (UTC) (edited on 2022-05-13 03:38 (UTC) by ADSWT518)
Alloy 6 uses new symbols (exactly two: the single quote ' and the semicolon ;) and several new keywords (as well as ones reserved for possible future extensions) listed below in alphabetical order:
Alloy 6 is compatible with old models as long as they don’t use these symbols or keywords. On the other hand, if an old model of yours uses single quotes or some of these keywords (as identifiers), then you will have to replace them to ensure that Alloy 6 interprets your model as before (for instance changing var into var_ or variable or foo). Notice the single quote can for instance be replaced with the double quote symbol " (which is legal Alloy).
ref: http://alloytools.org/alloy6.html