Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: riscal-bin 4.3.6-3

Package Actions

Git Clone URL:	https://aur.archlinux.org/riscal-bin.git (read-only, click to copy)
Package Base:	riscal-bin
Description:	RISC Algorithm Language model checker and exploration tool
Upstream URL:	https://www3.risc.jku.at/research/formal/software/RISCAL/
Keywords:	risc
Licenses:	GPL3
Submitter:	Sandwich
Maintainer:	Sandwich
Last Packager:	Sandwich
Votes:	0
Popularity:	0.000000
First Submitted:	2025-11-19 14:11 (UTC)
Last Updated:	2025-11-25 11:46 (UTC)

Dependencies (4)

gtk3 (gtk3-classic^AUR, gtk3-classic-xfce^AUR, gtk3-patched-filechooser-icon-view^AUR, gtk3-no_deadkeys_underline^AUR)
java-runtime (jre10^AUR, jre12^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, jre7^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jre16-openjdk^AUR, jre14-openjdk^AUR, jre15^AUR, jre14^AUR, jre13^AUR, jre16^AUR, jre18-openjdk^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jre-openj9^AUR, jre12-openjdk^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk20-openj9-bin^AUR, zulu-13-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jre13-openjdk^AUR, jre15-openjdk^AUR, jdk21-graalvm-bin^AUR, jre17-jetbrains^AUR, mandrel-bin^AUR, mandrel24-bin^AUR, jdk22-graalvm-ee-bin^AUR, jdk20-graalvm-ee-bin^AUR, jdk22-graalvm-bin^AUR, jre19-openjdk^AUR, jre21-jetbrains^AUR, zulu-fx-bin^AUR, zulu11-fx-bin^AUR, zulu17-fx-bin^AUR, jdk11-openj9-bin^AUR, jre-zulu-bin^AUR, jre-zulu-fx-bin^AUR, jre17^AUR, jre-zulu^AUR, jre-zulu-fx^AUR, jre8^AUR, jdk8^AUR, jdk23-graalvm-ee-bin^AUR, jdk17-jetbrains-bin^AUR, jdk21-dragonwell-standard-bin^AUR, jdk24-graalvm-ce-bin^AUR, jdk8-dragonwell-extended^AUR, jdk23-temurin^AUR, zing-23-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jdk21-dragonwell-extended-bin^AUR, openjdk-zulu-ca-fx-bin^AUR, openjdk-zulu8-ca-fx-bin^AUR, openjdk-zulu11-ca-fx-bin^AUR, openjdk-zulu17-ca-fx-bin^AUR, openjdk-zulu21-ca-fx-bin^AUR, amazon-corretto-17^AUR, amazon-corretto-21-bin^AUR, zulu-24-bin^AUR, liberica-nik-23-full-bin^AUR, sapmachine11-jdk^AUR, sapmachine17-jdk^AUR, jre11^AUR, liberica-nik-24-full-bin^AUR, jdk-openj9-bin^AUR, jdk24-graalvm-bin^AUR, jdk24-graalvm-ee-bin^AUR, liberica-nik-25-full-bin^AUR, amazon-corretto-24-bin^AUR, liberica-jdk-11-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-11-lite-bin^AUR, liberica-jdk-17-full-bin^AUR, jdk8-openj9-bin^AUR, zulu-21-bin^AUR, jdk25-graalvm-ce-bin^AUR, jdk25-graalvm-bin^AUR, jre21-jetbrains-git^AUR, jdk21-jetbrains-git^AUR, openjdk-liberica11-full-bin^AUR, openjdk-liberica17-full-bin^AUR, openjdk-liberica21-full-bin^AUR, openjdk-liberica8-full-bin^AUR, openjdk-liberica-full-bin^AUR, jdk-openjdk-wakefield^AUR, jre-openjdk-wakefield^AUR, liberica-jdk-21-bin^AUR, jdk21-jetbrains-bin^AUR, amazon-corretto-15^AUR, jre25-temurin^AUR, jre21-temurin^AUR, jre17-temurin^AUR, zulu-jre21-fx^AUR, zulu-jre25-fx^AUR, zulu-jre17-fx^AUR, jre8-temurin^AUR, jre11-temurin^AUR, zulu-jre8-fx^AUR, zulu-jre11-fx^AUR, java-openjdk-bin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-25-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, jdk21-temurin^AUR, jdk17-temurin^AUR, jdk-temurin^AUR, jre^AUR, jdk^AUR, jre-lts^AUR, jdk-lts^AUR, jdk11-temurin^AUR, jdk17-graalvm-ee-bin^AUR, jre17-zulu-bin^AUR, jre21-zulu-bin^AUR, microsoft-openjdk-21-bin^AUR, microsoft-openjdk-25-bin^AUR, microsoft-openjdk-17-bin^AUR, microsoft-openjdk-11-bin^AUR, jdk21-graalvm-ee-bin^AUR, amazon-corretto-25-bin^AUR, jre22-openjdk^AUR, jdk22-openjdk^AUR, jre23-openjdk^AUR, jdk23-openjdk^AUR, jdk24-openjdk^AUR, jre24-openjdk^AUR, zulu-8-bin^AUR, zulu-11-bin^AUR, jdk8-graalvm-ee-bin^AUR, zulu-25-bin^AUR, zulu-17-fx-bin^AUR, jdk11-graalvm-ee-bin^AUR, jdk11-graalvm-ee-bin^AUR, jdk8-temurin^AUR, jdk-android-studio^AUR, jdk17-zulu-prime-bin^AUR, jdk21-zulu-prime-bin^AUR, jre25-zulu-bin^AUR, zing-21-bin^AUR, zing-17-bin^AUR, zing-8-bin^AUR, jdk8-perf^AUR, jdk25-openjdk-wakefield^AUR, jre25-openjdk-wakefield^AUR, jdk25-openj9-bin^AUR, jdk21-openj9-bin^AUR, jdk17-openj9-bin^AUR, zulu-17-bin^AUR, java-openjdk-ea-bin^AUR, zulu-jre-fx-bin^AUR, zulu21-fx-bin^AUR, zulu8-fx-bin^AUR, jre-jetbrains^AUR, zulu-jdk-fx-bin^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre11-openjdk, jre17-openjdk, jre21-openjdk, jre8-openjdk)
java-openjfx^AUR (jre10^AUR, jdk10^AUR, jdk7^AUR, jre7^AUR, java11-openjfx^AUR, java21-openjfx^AUR, java17-openjfx-bin^AUR, zulu-fx-bin^AUR, zulu11-fx-bin^AUR, zulu17-fx-bin^AUR, jre-zulu-fx-bin^AUR, jre-zulu-fx^AUR, jre8^AUR, jdk8^AUR, java-openjfx-nowebkit^AUR, java-openjfx-nowebkit^AUR, java8-openjfx^AUR, openjdk-zulu-ca-fx-bin^AUR, openjdk-zulu8-ca-fx-bin^AUR, openjdk-zulu11-ca-fx-bin^AUR, openjdk-zulu17-ca-fx-bin^AUR, openjdk-zulu21-ca-fx-bin^AUR, liberica-nik-23-full-bin^AUR, liberica-nik-24-full-bin^AUR, java-openjfx-bin^AUR, liberica-nik-25-full-bin^AUR, liberica-jdk-17-full-bin^AUR, openjdk-liberica11-full-bin^AUR, openjdk-liberica17-full-bin^AUR, openjdk-liberica21-full-bin^AUR, openjdk-liberica8-full-bin^AUR, openjdk-liberica-full-bin^AUR, java17-openjfx^AUR, zulu-jre21-fx^AUR, zulu-jre25-fx^AUR, zulu-jre17-fx^AUR, zulu-jre8-fx^AUR, zulu-jre11-fx^AUR, java21-openjfx-bin^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-25-full-bin^AUR, liberica-jdk-21-full-bin^AUR, java24-openjfx^AUR, zulu-17-fx-bin^AUR, zulu-jre-fx-bin^AUR, zulu21-fx-bin^AUR, zulu8-fx-bin^AUR, zulu-jdk-fx-bin^AUR, java-openjfx^AUR) (optional) – visualization mode (-visual)
webkit2gtk (webkit2gtk-imgpaste^AUR) (optional) – embedded help viewer

Required by (0)

Sources (4)

Latest Comments

Sandwich commented on 2025-11-25 12:32 (UTC)

Run with 'env GDK_BACKEND=x11' for visualization to work, if you've got issues on wayland.