blob: c5e4d14f27334b875c728457a20b5a05974be0db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
# 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
pkgrel = 1
url = http://vcsn.lrde.epita.fr/
arch = i686
arch = x86_64
license = GPL3
makedepends = git
makedepends = texlive-core
makedepends = doxygen
makedepends = python2-docutils
depends = boost
depends = gcc
depends = ccache
depends = libltdl
depends = jupyter
depends = mathjax
depends = graphviz
depends = yaml-cpp
provides = vaucanson-git
provides = vaucanson
provides = vcsn
conflicts = vaucanson-git
conflicts = vaucanson
conflicts = vcsn
options = !buildflags
source = git+https://gitlab.lrde.epita.fr/vcsn/vcsn.git
md5sums = SKIP
pkgname = vcsn-git
|