Search Criteria
Package Details: jpf-core-git jpf.8.0.r67.ge734381-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/jpf-core-git.git (read-only, click to copy) |
|---|---|
| Package Base: | jpf-core-git |
| Description: | Explicit state software model checker for Java bytecode |
| Upstream URL: | https://github.com/javapathfinder/jpf-core |
| Licenses: | Apache |
| Provides: | jpf |
| Submitter: | lostkhaos |
| Maintainer: | lostkhaos |
| Last Packager: | lostkhaos |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-03-08 14:16 (UTC) |
| Last Updated: | 2019-03-08 14:16 (UTC) |
Dependencies (2)
- java-environment-openjdk (jdk10-openj9-binAUR, jdk16-adoptopenjdkAUR, liberica-jre-11-binAUR, jdk16-openjdkAUR, jdk14-openjdkAUR, jdk18-openjdkAUR, liberica-jre-11-full-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jdk13-openjdkAUR, jdk15-openjdkAUR, liberica-nik-24-full-binAUR, zulu-8-binAUR, liberica-jdk-11-lite-binAUR, jdk19-openjdkAUR, zulu-jdk-fx-binAUR, zulu-fx-binAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, jdk11-openj9-binAUR, jdk-openjdk-wakefieldAUR, jre-zulu-binAUR, jre-zulu-fx-binAUR, jdk-android-studioAUR, jdk-openj9-binAUR, zulu-11-binAUR, openjdk-zulu8-ca-fx-binAUR, openjdk-zulu11-ca-fx-binAUR, openjdk-zulu17-ca-fx-binAUR, openjdk-zulu21-ca-fx-binAUR, openjdk-liberica8-full-binAUR, openjdk-liberica11-full-binAUR, openjdk-liberica17-full-binAUR, openjdk-liberica21-full-binAUR, openjdk-zulu-ca-fx-binAUR, openjdk-liberica-full-binAUR, jdk8-perfAUR, zing-21-binAUR, jdk21-openj9-binAUR, jdk17-openj9-binAUR, jre-jetbrainsAUR, jdk21-jetbrains-binAUR, jdk17-jetbrains-binAUR, jdk21-dragonwell-standard-binAUR, jdk21-dragonwell-extended-binAUR, java-openjdk-binAUR, liberica-jdk-full-binAUR, liberica-jdk-21-full-binAUR, liberica-jdk-8-full-binAUR, jdk8-dragonwell-extendedAUR, liberica-jdk-11-binAUR, zulu-17-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-21-binAUR, java-openjdk-ea-binAUR, zulu-17-fx-binAUR, liberica-jdk-17-full-binAUR, zulu-21-binAUR, jdk-temurinAUR, jdk21-temurinAUR, jdk17-temurinAUR, jdk11-temurinAUR, zing-8-binAUR, zulu-24-binAUR, jdk23-temurinAUR, liberica-nik-23-full-binAUR, zing-23-binAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jdk8-openjdk)
- gradle (gradle7AUR) (make)