summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 3 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ff9e2d4dbdd4..f9377debb2a9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = twelf
pkgdesc = An implementation of the logical framework LF
pkgver = 1.7.1
- pkgrel = 3
+ pkgrel = 4
url = http://twelf.org/
install = twelf.install
arch = x86_64
@@ -10,6 +10,8 @@ pkgbase = twelf
depends = bash
depends = gmp
depends = smlnj
+ depends = subversion
+ depends = inetutils
provides = twelf
conflicts = twelf-git
source = http://twelf.org/releases/twelf-src-1.7.1.tar.gz