Package Details: idp-ide 1.1.1-2

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: DenBrahe
Maintainer: DenBrahe
Last Packager: DenBrahe
Votes: 1
Popularity: 0.000011
First Submitted: 2017-10-04 14:08
Last Updated: 2017-10-16 16:15