Package Details: idp-ide 2.0.1-4

Git Clone URL: https://aur.archlinux.org/idp-ide.git (read-only, click to copy)
Package Base: idp-ide
Description: IDP Knowledge Base System editor
Upstream URL: https://dtai.cs.kuleuven.be/software/idp/try
Licenses: LGPL3
Submitter: bserckx
Maintainer: VadeveSi
Last Packager: SaltFactory
Votes: 1
Popularity: 0.000000
First Submitted: 2017-10-04 14:08
Last Updated: 2020-02-22 15:15

Latest Comments

SaltFactory commented on 2020-02-21 13:48

Thanks. Transferring ownership of the idp package seems like a good idea as well.

bserckx commented on 2020-02-19 08:35

Will do. If you're interested in the idp package too (or any other of my packages), please tell. I switched to NixOS.

SaltFactory commented on 2020-02-18 19:51

The IDP IDE download migrated to the DTAI website. It can be found here, under "Offline". There is a new version since two days.

Seeing as you don't use this package anymore, would you mind transferring ownership to me? I am one of the IDE's maintainers.

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".