blob: a7524aed6a2e2727003e439878704aaaa635a9f9 (
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 = 1.1.1
pkgrel = 3
url = http://dtai.cs.kuleuven.be/software/idp
arch = i686
arch = x86_64
license = LGPL3
depends = idp
source = https://downloads.sourceforge.net/project/idp/idp-ide/idp-ide-1.1.1-Linux.tar.gz
md5sums = cba00affb753128d613099c1a93b074c
pkgname = idp-ide
|