summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO7
1 files changed, 3 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1ee90dee6700..1e7306e7fee5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
-