diff options
Diffstat (limited to '.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 - |