Package Details: jape 8.1.3-1

Git Clone URL: https://aur.archlinux.org/jape.git (read-only)
Package Base: jape
Description: A configurable, graphical proof assistant.
Upstream URL: http://japeforall.org.uk/
Keywords: java proof
Licenses: GPL
Submitter: None
Maintainer: przemub
Last Packager: przemub
Votes: 4
Popularity: 0.000000
First Submitted: 2012-09-24 16:30
Last Updated: 2019-08-02 16:25

Pinned Comments

przemub commented on 2019-08-02 16:27

Hi, I have taken over this package and updated it to the newest version (8.1.3). As the commenter below said, it is 64-bit only now.

Latest Comments

przemub commented on 2019-08-02 16:27

Hi, I have taken over this package and updated it to the newest version (8.1.3). As the commenter below said, it is 64-bit only now.

elpasi commented on 2014-04-05 18:37

Please be aware: the newest version of this application is now 64-bit Linux ONLY!