diff options
| author | falkecarlsen | 2024-03-05 16:21:46 +0100 |
|---|---|---|
| committer | falkecarlsen | 2024-03-05 16:21:46 +0100 |
| commit | bf99bd565be99dca1226f9f3ef7ff534398f7e04 (patch) | |
| tree | 536300e3192e468e5a136b3b2ac7743391601a63 /.SRCINFO | |
| parent | 0baf9aad1ead8eb0a2d1f5b7dd9cfa41216ce65f (diff) | |
| download | aur-bf99bd565be99dca1226f9f3ef7ff534398f7e04.tar.gz | |
fix nonsensical debug package creation
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = uppaal pkgdesc = Verify timed automata models and learn strategies. pkgver = 5.0.0 - pkgrel = 1 + pkgrel = 2 url = https://uppaal.org/ arch = any license = custom @@ -10,6 +10,8 @@ pkgbase = uppaal depends = xdg-utils provides = uppaal-5.0.0 noextract = uppaal-5.0.0-linux64.zip + options = debug + options = !strip source = https://download.uppaal.org/uppaal-5.0/uppaal-5.0.0/uppaal-5.0.0-linux64.zip sha512sums = e7fceddd699ebbe1a0120209bbe59fe7ef61b0c3b671bc453028e46e68310c3e96e3c5be7d9aec8cd5c85d065b3a4c7d6f9c68e7e5578d410efec7a6d9407543 |