diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,8 +1,6 @@ -# Generated by mksrcinfo v8 -# Thu Jun 8 14:30:40 UTC 2017 pkgbase = vcsn-git pkgdesc = Finite state machine manipulation platform, consisting of a library and tools implemented on top of it. - pkgver = v2.5.r113.g620a9084 + pkgver = v2.8.r2.g1780f25b8 pkgrel = 1 url = http://vcsn.lrde.epita.fr/ arch = i686 @@ -20,6 +18,7 @@ pkgbase = vcsn-git depends = mathjax depends = graphviz depends = yaml-cpp + optdepends = python-regex: to get better error messages provides = vaucanson-git provides = vaucanson provides = vcsn |