Arch Linux User Repository

Dependencies (15)

• gmp (gmp-hg^AUR)
• libmariadbclient (libmysqlclient55^AUR, libmysqlclient56^AUR, libmysqlclient81^AUR, libmysqlclient57^AUR, mariadb-libs-git^AUR, libmysqlclient^AUR, libmysqlclient80^AUR, libmysqlclient84^AUR, mariadb-libs, mariadb-lts-libs)
• unixodbc (unixodbc-git^AUR)
• doxygen (doxygen-git^AUR) (make)
• jdk7-openjdk (make)
• ninja (ninja-kitware^AUR, ninja-fuchsia-git^AUR, ninja-git^AUR, ninja-jobserver^AUR, ninja-mem^AUR) (make)
• texi2html (make)
• texinfo (texinfo-git^AUR) (make)
• cudd (optional) – For Problog
• gecode^AUR (optional) – For contstraints solving
• java-runtime-headless (jre10^AUR, jre12^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, jre7^AUR, amazon-corretto-16^AUR, jdk16-adoptopenjdk^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jre16-openjdk-headless^AUR, jre14-openjdk-headless^AUR, jre15^AUR, jre14^AUR, jre13^AUR, jre16^AUR, jre18-openjdk-headless^AUR, amazon-corretto-19-bin^AUR, liberica-jre-11-full-bin^AUR, jdk13-openjdk-bin^AUR, liberica-jre-8-full-bin^AUR, jre-openj9-headless^AUR, jre12-openjdk-headless^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-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, jdk17-dragonwell-standard-bin^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jre13-openjdk-headless^AUR, jre15-openjdk-headless^AUR, microsoft-openjdk-11-bin^AUR, microsoft-openjdk-17-bin^AUR, microsoft-openjdk-21-bin^AUR, liberica-nik-24-full-bin^AUR, zulu-8-bin^AUR, liberica-jdk-11-lite-bin^AUR, jre19-openjdk-headless^AUR, zulu-jdk-fx-bin^AUR, zulu-fx-bin^AUR, zulu8-fx-bin^AUR, zulu11-fx-bin^AUR, zulu17-fx-bin^AUR, zulu21-fx-bin^AUR, jdk11-openj9-bin^AUR, jre-openjdk-wakefield-headless^AUR, jre-openjdk-wakefield^AUR, jdk-openjdk-wakefield^AUR, jre-zulu-bin^AUR, jre-zulu-fx-bin^AUR, jdk-openj9-bin^AUR, zulu-11-bin^AUR, jdk8-graalvm-ee-bin^AUR, jre11^AUR, jre17^AUR, jdk8-openj9-bin^AUR, jre-zulu^AUR, jre-zulu-fx^AUR, jre8^AUR, jdk8^AUR, amazon-corretto-17^AUR, amazon-corretto-21-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, openjdk-liberica8-full-bin^AUR, openjdk-liberica11-full-bin^AUR, openjdk-liberica17-full-bin^AUR, openjdk-liberica21-full-bin^AUR, openjdk-zulu-ca-fx-bin^AUR, openjdk-liberica-full-bin^AUR, jdk8-perf^AUR, zing-21-bin^AUR, jdk17-jetbrains-bin^AUR, jdk21-dragonwell-standard-bin^AUR, jdk21-dragonwell-extended-bin^AUR, java-openjdk-bin^AUR, jre^AUR, jdk^AUR, jre-lts^AUR, jdk-lts^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, liberica-jdk-11-bin^AUR, zulu-17-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-21-bin^AUR, zulu-17-fx-bin^AUR, liberica-jdk-17-full-bin^AUR, zulu-21-bin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, jdk-temurin^AUR, jdk21-temurin^AUR, jdk17-temurin^AUR, jdk11-temurin^AUR, zing-8-bin^AUR, jre21-zulu-bin^AUR, jre17-zulu-bin^AUR, zulu-24-bin^AUR, jdk23-temurin^AUR, liberica-nik-23-full-bin^AUR, zing-23-bin^AUR, jre22-openjdk-headless^AUR, jre22-openjdk^AUR, jdk22-openjdk^AUR, jre23-openjdk-headless^AUR, jre23-openjdk^AUR, jdk23-openjdk^AUR, jdk21-openj9-bin^AUR, jdk17-openj9-bin^AUR, zulu-jre-fx-bin^AUR, jdk21-jetbrains-bin^AUR, java-openjdk-ea-bin^AUR, jre-jetbrains^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jre-openjdk, jre-openjdk-headless, jre11-openjdk, jre11-openjdk-headless, jre17-openjdk, jre17-openjdk-headless, jre21-openjdk, jre21-openjdk-headless, jre8-openjdk-headless) (optional) – Java Interface Library JPL
• openmpi (openmpi-git^AUR) (optional)
• python3 (python) (optional) – For using Python from YAP
• r (r-mkl^AUR) (optional) – For R bindings
• swig (swig-git^AUR) (optional)

Required by (2)

• logtalk (optional)
• prologs (optional)

Sources (1)