diff options
| author | falkecarlsen | 2024-03-05 16:31:10 +0100 |
|---|---|---|
| committer | falkecarlsen | 2024-03-05 16:31:10 +0100 |
| commit | fad5776e070e924314875c86832881ae6050c22d (patch) | |
| tree | 1ac206dc5051756bb990441fc7e3834f5a6d7d68 /.SRCINFO | |
| download | aur-fad5776e070e924314875c86832881ae6050c22d.tar.gz | |
init
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..0b1ee52c518e --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = uppaal-beta + pkgdesc = Verify timed automata models and learn strategies. Beta release channel. + pkgver = 5.1.0_beta5 + pkgrel = 1 + url = https://uppaal.org/ + arch = any + license = custom + makedepends = unzip + depends = jre17-openjdk + depends = xdg-utils + provides = uppaal-beta- + noextract = uppaal-5.1.0-beta5-linux64.zip + options = debug + options = !strip + source = https://download.uppaal.org/uppaal-5.1/uppaal-5.1.0/uppaal-5.1.0-beta5-linux64.zip + sha512sums = 7699aedaf05829649cbf90ae690e71d4fc0b727a97babcaa2b1b3e29d641d62ae16b91fce33b82a46ee21a0514d824151b5c367b6c31151de27ad5d8e428ec03 + +pkgname = uppaal-beta |