diff options
author | Johan Manuel | 2019-06-02 22:03:50 +0200 |
---|---|---|
committer | Johan Manuel | 2019-06-02 22:03:50 +0200 |
commit | d4c25e73dbf5ef0ebba2458f4202d9b0d43826bb (patch) | |
tree | 94738e3038d0f60e58b10ffced0aa33739489f5b /.SRCINFO | |
download | aur-d4c25e73dbf5ef0ebba2458f4202d9b0d43826bb.tar.gz |
initial commit for tina-tpn
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..dfa5f21546ae --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = tina-tpn + pkgdesc = TIme Petri Net Analyzer + pkgver = 3.5.0 + pkgrel = 0 + url = http://projects.laas.fr/tina/home.php + arch = x86_64 + license = unknown + depends = gmp + depends = graphviz + options = !strip + source = http://projects.laas.fr/tina/binaries/tina-3.5.0-x86_64-linux.tar.gz + md5sums = 4aeeda8dca7f1cb98f0ce6206bfc3891 + +pkgname = tina-tpn + |