Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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-compat^AUR, jre10^AUR, jre6^AUR, jre12^AUR, server-jre^AUR, jdk9-openj9-bin^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, jre7^AUR, zulu-14-bin^AUR, amazon-corretto-15^AUR, sapmachine-jdk-bin^AUR, amazon-corretto-16^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, jdk16-microsoft-openjdk^AUR, jdk11-msopenjdk-bin^AUR, jdk8-arm^AUR, jre17-jetbrains^AUR, liberica-jre-11-bin^AUR, jre11-jetbrains-imfix^AUR, java-openjdk-loom-ea-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jdk8-j9-bin^AUR, jdk11-j9-bin^AUR, jre11-jbr-xdg^AUR, jre16-openjdk^AUR, jre13-openjdk^AUR, jre14-openjdk^AUR, amazon-corretto-18^AUR, jre15^AUR, jre14^AUR, jre13^AUR, jre16^AUR, bishengjdk-17^AUR, bishengjre-17^AUR, jdk-arm^AUR, jdk11-openj9-bin^AUR, jdk-openj9-bin^AUR, jre-jbr-xdg^AUR, jre18-openjdk^AUR, jdk-android-studio^AUR, amazon-corretto-19-bin^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, jdk13-openjdk-bin^AUR, zulu-embedded-jdk^AUR, jre15-openjdk^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jre19-openjdk^AUR, jdk11-microsoft-openjdk^AUR, jre-openj9^AUR, jdk11-graalvm-ee-bin^AUR, zulu-jre-fx-bin^AUR, jre17-jetbrains-imfix^AUR, jdk11-openjdk-dcevm^AUR, jre12-openjdk^AUR, jdk8-dragonwell-extended^AUR, jdk-jetbrains^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk8-graalvm-ee-bin^AUR, jdk8-aarch64^AUR, jre17^AUR, jre8-adoptopenjdk^AUR, amazon-corretto-20-bin^AUR, zulu-15-bin^AUR, jdk21-jetbrains-bin^AUR, jre21-jetbrains-imfix^AUR, jdk17-openj9-bin^AUR, jdk20-openj9-bin^AUR, jre-openjdk-xdg^AUR, jdk-microsoft-openjdk^AUR, jdk17-microsoft-openjdk^AUR, zulu-13-bin^AUR, java-openjdk-bin^AUR, zulu-jdk-fx-bin^AUR, amazon-corretto-11^AUR, amazon-corretto-8^AUR, zulu-11-bin^AUR, zulu-21-bin^AUR, amazon-corretto-21-bin^AUR, amazon-corretto-17^AUR, zulu-8-bin^AUR, zulu-17-bin^AUR, liberica-jdk-8-full-bin^AUR, liberica-jdk-full-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jdk8-temurin^AUR, jre^AUR, jre-lts^AUR, jdk17-graalvm-ee-bin^AUR, jdk20-graalvm-ee-bin^AUR, jdk21-graalvm-ee-bin^AUR, jdk11-temurin^AUR, jdk17-temurin^AUR, jdk-temurin^AUR, liberica-jdk-11-bin^AUR, liberica-jdk-11-lite-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-17-full-bin^AUR, jdk21-graalvm-bin^AUR, jre-jetbrains^AUR, mandrel-bin^AUR, jre11^AUR, jre8^AUR, jdk8^AUR, jdk17-zulu-prime-bin^AUR, jdk8-openj9-bin^AUR, jdk17-jetbrains-bin^AUR, java-openjdk-ea-bin^AUR, jdk-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre8-openjdk)
unzip (unzip-natspec^AUR, unzip-zstd^AUR) (make)

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!