Package Details: idp 3.7.1-1

Git Clone URL: https://aur.archlinux.org/idp.git (read-only)
Package Base: idp
Description: Knowledge Base System
Upstream URL: http://dtai.cs.kuleuven.be/software/idp
Licenses: LGPL3
Submitter: DenBrahe
Maintainer: DenBrahe
Last Packager: DenBrahe
Votes: 1
Popularity: 0.000011
First Submitted: 2017-09-27 15:24
Last Updated: 2018-10-08 13:43

Latest Comments

DenBrahe commented on 2017-10-04 15:52

Hi Evert, I'll try to compile from source one of the following days (maybe in next weeks MCS course ;) ). I'll rename the package if I can't get it to work.

evertheylen commented on 2017-10-04 15:33

Thanks for this :)
Did you have any luck compiling from source? Before I found this package I was trying to do this but it failed after complaining about not knowing about some types ('BOOL' and 'LIST'), both of which are defined somewhere else. I didn't feel like solving their shit, but perhaps you had more luck? If not, you might want to suffix the package with "-bin" :)