Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: scryer-prolog 0.9.4-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/scryer-prolog.git (read-only, click to copy)
Package Base:	scryer-prolog
Description:	An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming
Upstream URL:	https://github.com/mthom/scryer-prolog
Keywords:	prolog
Licenses:	BSD-3-Clause
Submitter:	aarroyoc
Maintainer:	aarroyoc
Last Packager:	aarroyoc
Votes:	3
Popularity:	1.07
First Submitted:	2021-07-08 21:44 (UTC)
Last Updated:	2024-03-17 10:21 (UTC)

Dependencies (3)

gcc-libs (gcc-libs-git^AUR, gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-snapshot^AUR)
glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR, glibc-eac-bin^AUR, glibc-eac-roco^AUR)
cargo (rustup-git^AUR, rust-nightly-bin^AUR, rust-git^AUR, rust-beta-bin^AUR, rustup-stub^AUR, rust, rustup) (make)

Required by (1)

prologs (optional)

Sources (2)

Latest Comments

Chewing_Bever commented on 2023-05-01 20:20 (UTC)

I've created scryer-prolog-git cuz I felt like it. I fixed the compilation issue as well, so it might be interesting for you to have a look at the package build and integrate this fix into your own. It consists of patching the Cargo.toml file to tell gmp-mpfr-sys to use the system package instead.

FreeFull commented on 2022-12-17 20:42 (UTC)

Any chance we could also get a -git package?