diff options
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ pkgname=vcsn-git _realname=vaucanson pkgver=v2.0.r1065.g650cb77 -pkgrel=1 +pkgrel=2 pkgdesc="Finite state machine manipulation platform, consisting of a library and tools implemented on top of it." arch=('i686' 'x86_64') url="http://vaucanson.lrde.epita.fr/" @@ -13,7 +13,7 @@ makedepends=('git' 'texlive-core' 'doxygen' 'python2-docutils') conflicts=('vaucanson-git' 'vaucanson' 'vcsn') provides=('vaucanson-git' 'vaucanson' 'vcsn') -source=(git+https://gitlab.lrde.epita.fr/vcsn/vaucanson.git) +source=(git+https://gitlab.lrde.epita.fr/vcsn/vcsn.git) md5sums=('SKIP') pkgver() { |