diff options
| author | falkecarlsen | 2024-02-20 16:51:26 +0100 |
|---|---|---|
| committer | falkecarlsen | 2024-02-20 16:51:26 +0100 |
| commit | 1242b7b4922373e383e2121890eb02ea4c324a73 (patch) | |
| tree | df5d29fd8a7d398bd3e9899e60a9395ddeab88b9 | |
| download | aur-1242b7b4922373e383e2121890eb02ea4c324a73.tar.gz | |
init
| -rw-r--r-- | .SRCINFO | 16 | ||||
| l--------- | PKGBUILD | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..662ecf51332d --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = uppaal + pkgdesc = Verify timed automata models and learn strategies. + pkgver = 5.0.0 + pkgrel = 1 + url = https://uppaal.org/ + arch = any + license = custom + makedepends = unzip + depends = jre17-openjdk + depends = xdg-utils + provides = uppaal-5.0.0 + noextract = uppaal-5.0.0-linux64.zip + source = https://download.uppaal.org/uppaal-5.0/uppaal-5.0.0/uppaal-5.0.0-linux64.zip + sha512sums = e7fceddd699ebbe1a0120209bbe59fe7ef61b0c3b671bc453028e46e68310c3e96e3c5be7d9aec8cd5c85d065b3a4c7d6f9c68e7e5578d410efec7a6d9407543 + +pkgname = uppaal diff --git a/PKGBUILD b/PKGBUILD new file mode 120000 index 000000000000..000418a738d3 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1 @@ +../../uppaal-packaging/PKGBUILD
\ No newline at end of file |