diff options
| author | falkecarlsen | 2024-03-07 10:19:11 +0100 |
|---|---|---|
| committer | falkecarlsen | 2024-03-07 10:19:11 +0100 |
| commit | 391aba28be4a0d22f1b049ac731135d1c33fff54 (patch) | |
| tree | 66c37697ffdc2b3603639872095ac946522bb575 /.SRCINFO | |
| parent | bf99bd565be99dca1226f9f3ef7ff534398f7e04 (diff) | |
| download | aur-uppaal.tar.gz | |
fix mime type assoc and remove forced AA java options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = uppaal pkgdesc = Verify timed automata models and learn strategies. pkgver = 5.0.0 - pkgrel = 2 + pkgrel = 3 url = https://uppaal.org/ arch = any license = custom |