This release includes support for Tcl 9.0, enabling BSC to build on Fedora Linux 42. The release also improves the build instructions and fixes a long-standing VPI issue with imported functions of no arguments. or a complete list of changes since the previous release, see the release notes.

Documentation and pre-built tar-files are attached below. As verification of integrity, the sha256sum hashes of the tar-files are

7e8723f6a51d9b743b107437fcc76c2d1fadd17693bc07b52a474e3c027705e7 *bsc-2025.07-centos-7.9.2009.tar.gz
9b5ee4599cfa5c07005fa1110499090b7f286d00c0244a3ab87e4078c8ba6c84 *bsc-2025.07-debian-11.11.tar.gz
2b7211b9865e95b43bb750fd38c12b76a7344bf08644abf37cc6b7a28e2a4d97 *bsc-2025.07-debian-12.12.tar.gz
c4d44e9396bb5c46b4ecd90f96e281333bf72091caca307920b5ee0b1f9c3e5d *bsc-2025.07-debian-13.1.tar.gz
9af4503020a7277fd61bcbde26c3bdead25f41e02a60aab464f5b7aef5126fd4 *bsc-2025.07-macos-13.tar.gz
ba972d3d2b669d418d2648b3dba9d867ec0bfb21b7a03887d9a9efa95cd72e29 *bsc-2025.07-macos-14.tar.gz
00dc61532bf8064b89f22f9bfe5a3eb91b62aba2a9f3b2282f74c7f5e1e2faff *bsc-2025.07-macos-15.tar.gz
3d1e554453f03cb1643f15aa087a5244f784b10f2a6679a49fb4e578673f8109 *bsc-2025.07-rockylinux-8.10.tar.gz
8e68f1e6cd03936d3b07b7d265d1a892901a716c5ea864b99172575170577110 *bsc-2025.07-rockylinux-9.6.tar.gz
439b6151742d23ab3d4316912ca158aa3a6cc31c63cd7d61f31f41502cc3af58 *bsc-2025.07-ubuntu-22.04.tar.gz
e79f93d8e72bc1278766502fc49dc555d935e194ac34e5958d4053390c38878c *bsc-2025.07-ubuntu-24.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781 *yices-src-for-bsc-2025.07.tar.gz

Debian 11 is "Bullseye", Debian 12 is "Bookworm", and Debian 13 is "Trixie", the current Debian Stable. CentOS 7 is compatible with RedHat Enterprise Linux (RHEL) 7. Rocky Linux 8 is compatible with RedHat Enterprise Linux (RHEL) 8. Rocky Linux 9 is compatible with RedHat Enterprise Linux (RHEL) 9. Ubuntu 22.04 is "Jammy Jellyfish", and Ubuntu 24.04 is "Noble Numbat". MacOS 13 is "Ventura", macOS 14 is "Sonoma", and macOS 15 is "Sequoia". All releases are built for x86_64, except macOS 14 "Sonoma" and macOS 15 "Sequoia". The releases for macOS 14 "Sonoma" and macOS 15 "Sequoia" are built for ARM64 (Apple Silicon).

As of this release, we no longer provide a pre-built package for Ubuntu 20.04 "Focal Fossa" and Debian 10 "Buster" which have reached end of life.

The "Source code" attached below is automatically created by GitHub and does not include the source for submodules. We have separately attached the source code for the Yices submodule, that can be unpacked into the BSC source, to allow building from this snapshot.