summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 1 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index de19f77d3b04..a7524aed6a2e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,7 @@
-# Generated by mksrcinfo v8
-# Mon Oct 16 16:12:39 UTC 2017
pkgbase = idp-ide
pkgdesc = IDP Knowledge Base System editor
pkgver = 1.1.1
- pkgrel = 2
+ pkgrel = 3
url = http://dtai.cs.kuleuven.be/software/idp
arch = i686
arch = x86_64