Package Details: idp-ide 1.1.1-3

Git Clone URL: https://aur.archlinux.org/idp-ide.git (read-only)
Package Base: idp-ide
Description: IDP Knowledge Base System editor
Upstream URL: http://dtai.cs.kuleuven.be/software/idp
Licenses: LGPL3
Submitter: bserckx
Maintainer: bserckx
Last Packager: bserckx
Votes: 1
Popularity: 0.000000
First Submitted: 2017-10-04 14:08
Last Updated: 2019-05-08 11:22

Latest Comments

bserckx commented on 2019-05-08 11:23

Fixed it. If there are any other improvements, please tell (I don't use the software myself anymore).

dries007 commented on 2019-05-08 06:34

Hey, I'd like to point out that the "/usr/share/idp-ide/webID.cfg" file contains a hard reference to "/usr/bin/idp", which is not the install path of IDP. IDP is now installed in "/usr/local/bin/idp".