diff options
author | Johan Manuel | 2023-08-31 12:07:14 +0200 |
---|---|---|
committer | Johan Manuel | 2023-08-31 12:07:14 +0200 |
commit | 19c89574de22f90d217a43c89ac8a3906279e012 (patch) | |
tree | 8663f1e510b3917bd590b81fa599a409e9926820 | |
parent | fc5bb9a3344924d481018a871bdb7a10667bf5fa (diff) | |
download | aur-19c89574de22f90d217a43c89ac8a3906279e012.tar.gz |
Update .SRCINFO
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = tina-tpn pkgdesc = TIme Petri Net Analyzer - pkgver = 3.6.0 + pkgver = 3.7.5 pkgrel = 0 url = http://projects.laas.fr/tina/home.php arch = x86_64 @@ -8,8 +8,7 @@ pkgbase = tina-tpn depends = gmp depends = graphviz options = !strip - source = http://projects.laas.fr/tina/binaries/tina-3.6.0-x86_64-linux.tar.gz - md5sums = 2154737b75286128527b064eb3a50d4c + source = http://projects.laas.fr/tina/binaries/tina-3.7.5-amd64-linux.tgz + md5sums = 4602148819224285835f4b6c3d2bc653 pkgname = tina-tpn - |