Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: picat 3.7-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/picat.git (read-only, click to copy)
Package Base:	picat
Description:	A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.
Upstream URL:	http://picat-lang.org/
Licenses:	MPL-2.0
Submitter:	abeaumont
Maintainer:	johv
Last Packager:	johv
Votes:	3
Popularity:	0.180767
First Submitted:	2018-12-28 19:11 (UTC)
Last Updated:	2024-09-24 14:13 (UTC)

Dependencies (7)

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)
coin-or-cbc (optional) – CBC MIP support
cvc4 (optional) – CVC4 SMT support
glpk (glpk-git^AUR, glpk-cut-log^AUR) (optional) – GLPK MIP support
gurobi^AUR (gurobi81^AUR) (optional) – Gurobi MIP support
z3 (z3-git^AUR) (optional) – Z3 SMT support

Required by (0)

Sources (1)

http://picat-lang.org/download/picat37_src.tar.gz

Latest Comments

abeaumont commented on 2021-06-03 06:53 (UTC)

Thanks for reporting. I have confirmed with the author that the source file was changed after I packaged the new version. I have fixed the checksum now.

aarroyoc commented on 2021-06-02 19:31 (UTC)

Currently fails to install with a checksum error