blob: 3625ab47955047959de9d5954d5e3a891ef3881d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = ltl2ba
pkgdesc = Fast translation from LTL formulas to Buchi automata.
pkgver = 1.3
pkgrel = 2
url = http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
arch = x86_64
arch = i686
license = GPL2
depends = glibc
source = http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.3.tar.gz
md5sums = SKIP
pkgname = ltl2ba
|