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.
Search Criteria
Package Details: jape 9.0.9-1
Package Actions
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)
- java-runtime (java-gcj-compatAUR, jre10AUR, jre6AUR, jre12AUR, server-jreAUR, jdk9-openj9-binAUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, jre7AUR, zulu-14-binAUR, amazon-corretto-15AUR, sapmachine-jdk-binAUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, jdk16-microsoft-openjdkAUR, jdk11-msopenjdk-binAUR, jdk8-armAUR, jre17-jetbrainsAUR, liberica-jre-11-binAUR, jre11-jetbrains-imfixAUR, java-openjdk-loom-ea-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jdk8-j9-binAUR, jdk11-j9-binAUR, jre11-jbr-xdgAUR, jre16-openjdkAUR, jre13-openjdkAUR, jre14-openjdkAUR, amazon-corretto-18AUR, jre15AUR, jre14AUR, jre13AUR, jre16AUR, bishengjdk-17AUR, bishengjre-17AUR, jdk-armAUR, jdk11-openj9-binAUR, jdk-openj9-binAUR, jre-jbr-xdgAUR, jre18-openjdkAUR, jdk-android-studioAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, zulu-embedded-jdkAUR, jre15-openjdkAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jre19-openjdkAUR, jdk11-microsoft-openjdkAUR, jre-openj9AUR, jdk11-graalvm-ee-binAUR, zulu-jre-fx-binAUR, jre17-jetbrains-imfixAUR, jdk11-openjdk-dcevmAUR, jre12-openjdkAUR, jdk8-dragonwell-extendedAUR, jdk-jetbrainsAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk8-graalvm-ee-binAUR, jdk8-aarch64AUR, jre17AUR, jre8-adoptopenjdkAUR, amazon-corretto-20-binAUR, zulu-15-binAUR, jdk21-jetbrains-binAUR, jre21-jetbrains-imfixAUR, jdk17-openj9-binAUR, jdk20-openj9-binAUR, jre-openjdk-xdgAUR, jdk-microsoft-openjdkAUR, jdk17-microsoft-openjdkAUR, zulu-13-binAUR, java-openjdk-binAUR, zulu-jdk-fx-binAUR, amazon-corretto-11AUR, amazon-corretto-8AUR, zulu-11-binAUR, zulu-21-binAUR, amazon-corretto-21-binAUR, amazon-corretto-17AUR, zulu-8-binAUR, zulu-17-binAUR, liberica-jdk-8-full-binAUR, liberica-jdk-full-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jdk8-temurinAUR, jreAUR, jre-ltsAUR, jdk17-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk11-temurinAUR, jdk17-temurinAUR, jdk-temurinAUR, liberica-jdk-11-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-17-full-binAUR, jdk21-graalvm-binAUR, jre-jetbrainsAUR, mandrel-binAUR, jre11AUR, jre8AUR, jdk8AUR, jdk17-zulu-prime-binAUR, jdk8-openj9-binAUR, jdk17-jetbrains-binAUR, java-openjdk-ea-binAUR, jdk-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre8-openjdk)
- unzip (unzip-natspecAUR, unzip-zstdAUR) (make)
Required by (0)
Sources (3)
Latest Comments
przemub commented on 2019-08-02 16:27 (UTC)
<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!
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.