summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 75cd615cf827..c913049ddadc 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
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
+ pkgrel = 2
url = http://vaucanson.lrde.epita.fr/
arch = i686
arch = x86_64
@@ -21,7 +21,7 @@ pkgbase = vcsn-git
conflicts = vaucanson-git
conflicts = vaucanson
conflicts = vcsn
- source = git+https://gitlab.lrde.epita.fr/vcsn/vaucanson.git
+ source = git+https://gitlab.lrde.epita.fr/vcsn/vcsn.git
md5sums = SKIP
pkgname = vcsn-git