GCL is an implementation of Common Lisp. Among other uses the program serves as a compiler and runtime host for various end user programs like maxima, ACL2, axiom, FriCAS,and hol88.
Please see the release notes at https://www.gnu.org/software/gcl/RELEASE-2.7.1.html. Here are the compressed sources and a GPG detached signature: https://www.gnu.org/software/gcl//gcl-2.7.1.tar.gz https://www.gnu.org/software/gcl//gcl-2.7.1.tar.gz.sig Use a mirror for higher download bandwidth: https://www.gnu.org/order/ftp.html Here are the SHA1 and SHA256 checksums: bdfa103d62824de6037f1153867dbd95b8e1e934 gcl-2.7.1.tar.gz edC7Zbgt+BwHi8VcTNo/5Ndm2H47/hD94LL3KCBOEBU gcl-2.7.1.tar.gz The SHA256 checksum is base64 encoded, instead of the hexadecimal encoding that most checksum tools default to. Use a .sig file to verify that the corresponding file (without the .sig suffix) is intact. First, be sure to download both the .sig file and the corresponding tarball. Then, run a command like this: gpg --verify gcl-2.7.1.tar.gz.sig The signature should match the fingerprint of the following key: pub ed25519 2023-01-10 [SC] 6A74 659F 1F23 191E 97F9 B65E 1AF2 9494 BE51 2BAE uid Camm Maguire <c...@maguirefamily.org> If that command fails because you don't have the required public key, or that public key has expired, try the following commands to retrieve or refresh it, and then rerun the 'gpg --verify' command. gpg --recv-keys 6A74659F1F23191E97F9B65E1AF29494BE512BAE As a last resort to find the key, you can try the official GNU keyring: wget -q https://ftp.gnu.org/gnu/gnu-keyring.gpg gpg --keyring gnu-keyring.gpg --verify gcl-2.7.1.tar.gz.sig -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
signature.asc
Description: PGP signature
