blob: 99b78589c1b7e5b7c86bd77d600fe59eeed5b920 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = idp
pkgdesc = Knowledge Base System
pkgver = 3.7.1
pkgrel = 1
url = http://dtai.cs.kuleuven.be/software/idp
install = idp.install
arch = i686
arch = x86_64
license = LGPL3
depends = sh
source = https://dtai.cs.kuleuven.be/krr/files/releases/idp/3.7.1/idp3-3.7.1-Linux.tar.gz
md5sums = d46527d328da520d5096ee58a7bc0407
pkgname = idp
|