blob: 8c5d92892d4876a8ad7d27f9d1fbfc2e487d4fe8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = tina-tpn
pkgdesc = TIme Petri Net Analyzer
pkgver = 3.7.5
pkgrel = 1
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.7.5-amd64-linux.tgz
md5sums = 4602148819224285835f4b6c3d2bc653
pkgname = tina-tpn
|