Package Details: eclipse-clp 7.0.63-1

Git Clone URL: (read-only, click to copy)
Package Base: eclipse-clp
Description: Constraint Logic Programming System
Upstream URL:
Keywords: clp prolog
Licenses: CMPL 1.1
Submitter: aarroyoc
Maintainer: aarroyoc
Last Packager: aarroyoc
Votes: 0
Popularity: 0.000000
First Submitted: 2022-01-31 16:15 (UTC)
Last Updated: 2023-09-10 13:48 (UTC)

Dependencies (3)

Required by (0)

Sources (1)

Latest Comments

jeshan commented on 2023-08-15 16:51 (UTC) (edited on 2023-08-15 16:51 (UTC) by jeshan)

beta version confirmed when running on the terminal:

ECLiPSe Constraint Logic Programming System [kernel threads]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or
Source available at
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 7.1beta #13 (x86_64_linux), Sun Jan  1 18:01 2023

jeshan commented on 2023-08-15 16:49 (UTC) (edited on 2023-08-15 16:49 (UTC) by jeshan)

I see the old checksum on my local PKGBUILD :(


Is that an issue on my side?

jeshan commented on 2023-08-15 16:43 (UTC)

did you try deploying a fix? I still see the same issue. I ran the sha256sum on the file downloaded here:

and got: b52e305b01d09be825cb639aeee005f7e9812f0b67dae6bf1d1bd623863bc0a6 which is strangely already what we expect.

But more importantly, I maintain that since 7.1.x wasn't announced (AFAIK and on the home page), then we should remain on 7.0.x

aarroyoc commented on 2023-08-11 15:57 (UTC)

It seems like the package was updated (but the Last Modified Date on the server reports it wasn't). I updated the package to 7.1.13 because it was flagged out of date.

jeshan commented on 2023-08-11 14:40 (UTC)

last update broke for me:

==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source_x86_64 files with sha256sums...
    eclipse_basic.tgz ... FAILED
==> ERROR: One or more files did not pass the validity check!
 -> error downloading sources: /home/jeshan/.cache/yay/eclipse-clp 
         context: exit status 1 

By the way, I believe that version 7.1 is not a stable release yet (no news of it on the home page).