Package Details: key-logic 2.6.2-1

Git Clone URL: https://aur.archlinux.org/key-logic.git (read-only, click to copy)
Package Base: key-logic
Description: A dynamic logic proof tool
Upstream URL: http://www.key-project.org
Licenses: GPL2
Submitter: jtsymon
Maintainer: None
Last Packager: jtsymon
Votes: 1
Popularity: 0.000000
First Submitted: 2015-05-29 08:20 (UTC)
Last Updated: 2017-05-06 12:10 (UTC)

Dependencies (3)

Required by (0)

Sources (2)

Latest Comments

jtsymon commented on 2017-05-06 12:13 (UTC)

@lksbhm sorry I only just saw you flagged this out of date (didn't seem to get an email about it?) I've updated the package. It looks like the structure of the program has changed a bit, and there are no longer any extensions or examples that can be separately installed, so the other packages are no longer necessary.

jtsymon commented on 2016-01-20 06:59 (UTC)

Good to see someone else uses this. Thanks for the suggestion, I updated the dependency.

bezirg commented on 2016-01-19 14:47 (UTC)

Hi, thanks for this nice packaging! A suggestion: can you change the dependency from 'jdk' to 'java-environment' ? Then it can work with different JDKs. For example, I manually tested it with openjdk8 and it works