Package Details: idp 3.7.1-1

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

Latest Comments

bserckx commented on 2017-10-04 15:52 (UTC)

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 (UTC)

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" :)