Package Details: jape 9.0.9-1

Git Clone URL: https://aur.archlinux.org/jape.git (read-only, click to copy)
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: 3
Popularity: 0.000000
First Submitted: 2012-09-24 16:30 (UTC)
Last Updated: 2020-09-30 23:00 (UTC)

Dependencies (2)

Required by (0)

Sources (3)

Pinned Comments

przemub commented on 2019-08-02 16:27 (UTC)

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 (UTC)

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.

<deleted-account> commented on 2014-04-05 18:37 (UTC)

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