diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..6d8024034672 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,28 @@ +pkgbase = vcsn-git + pkgdesc = Finite state machine manipulation platform, consisting of a library and tools implemented on top of it. + pkgver = v2.0.r1065.g650cb77 + pkgrel = 1 + url = http://vaucanson.lrde.epita.fr/ + arch = i686 + arch = x86_64 + license = GPL3 + makedepends = git + makedepends = texlive-core + makedepends = doxygen + makedepends = python2-docutils + depends = boost + depends = clang + depends = ccache + depends = libltdl + depends = ipython + provides = vaucanson-git + provides = vaucanson + provides = vcsn + conflicts = vaucanson-git + conflicts = vaucanson + conflicts = vcsn + source = git+https://gitlab.lrde.epita.fr/vcsn/vaucanson.git + md5sums = SKIP + +pkgname = vcsn-git + |