Notice: Undefined variable: name in /srv/http/vhosts/ on line 248

Package Details: key-logic 2.4.1-2

Git Clone URL: (read-only)
Package Base: key-logic
Description: A dynamic logic proof tool
Upstream URL:
Licenses: GPL2
Submitter: jtsymon
Maintainer: jtsymon
Last Packager: jtsymon
Votes: 1
Popularity: 0.099025
First Submitted: 2015-05-29 08:20
Last Updated: 2016-01-20 06:57

Latest Comments

jtsymon commented on 2016-01-20 06:59

Good to see someone else uses this.

Thanks for the suggestion, I updated the dependency.

bezirg commented on 2016-01-19 14:47

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