blob: 88de0ac69e1a08197af8fddb01c1d7e6a83fc639 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = idp-ide
pkgdesc = IDP Knowledge Base System editor
pkgver = 2.0.1
pkgrel = 5
url = https://dtai.cs.kuleuven.be/software/idp/try
arch = i686
arch = x86_64
license = LGPL3
depends = idp
source = https://dtai.cs.kuleuven.be/krr/files/releases/idp-ide/latest/webID-2.0.1.tar.gz
md5sums = 328aafb41e0d796b08a84f7be7cb901e
pkgname = idp-ide
|