BSC Files

This release brings a number of performance improvements and bug fixes, including more principled support for type synonyms. The release also adds BH syntax support to Bluetcl. A new dependency, on the strict-concurrency package, has been added for building BSC. Users of Generics may need to update a constructor name. For 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

6ca042bfb7b536ee23e9cffca2d3b8fbe72b851c6628c0b97f6ac9558291bc3e *bsc-2026.01-centos-7.9.2009.tar.gz
0812ea1ab7ec05b2ea226346dcaebf1aaccf6efd868ef8e8c2313b3487b26cd5 *bsc-2026.01-debian-11.11.tar.gz
9da36623e301ae14ba5e670cb98d11c99277faa915025ccb7615de3ec14002c3 *bsc-2026.01-debian-12.13.tar.gz
934bf582fe095565522343e82e358b4b7dea9ff69d54e3d0ceb54a9c030d0fbb *bsc-2026.01-debian-13.4.tar.gz
37cc8262baac5ce0b6a87463bd946560492d68a657477bb8d81e372a01d05f54 *bsc-2026.01-macos-14.tar.gz
718ad4642273534804790ef94f32fd6700c5b2a01344c4dc0fa0e84afed39b34 *bsc-2026.01-macos-15-intel.tar.gz
e0f4beb33756417594e79e8fa795d38c9ea0df8bb0b0236561ca47f9a8d134c0 *bsc-2026.01-macos-15.tar.gz
66a20b6de5dad2a7cc7540ddc4ac54cb0fc78fc3c2134768526729af1cedbbc9 *bsc-2026.01-macos-26.tar.gz
1a4e44f79ca4f6df938cc37dd74611341be39caffbb879f3aabd445709d1ae66 *bsc-2026.01-rockylinux-10.1.tar.gz
4eba6a93babf52e9acf539b1829c56c13c7c8d811a0c519a9d58492cda336db1 *bsc-2026.01-rockylinux-8.10.tar.gz
63fa717e8bd4285928176e9f1bdaff1c9a47fc64f5ac2ba9735de09e2d4779cb *bsc-2026.01-rockylinux-9.7.tar.gz
9f32be4cb34dc025a47d8dddfa119ec8e7a5fd7240b6de31d175aa4e65fd5301 *bsc-2026.01-ubuntu-22.04.tar.gz
6d13db288cf268dc1331f05b277c414b4ff1c1ab9618a6526ba16ad29e484e43 *bsc-2026.01-ubuntu-24.04.tar.gz
8a7cb0bcc89a3d60a27888907c49530643773eb18efbacfbc16fa6247e202b1e *bsc-2026.01-ubuntu-26.04.tar.gz
a5114c8f1e04a75a06598ac9763922f9186554b6f1326c1454b2e06deafd5575 *yices-src-for-bsc-2026.01.tar.gz
16aad4dcc0fb15a3ee3ab1625758075114036c2409579f3eb1db2a5ca46c6fe1 *BH_lang_ref_guide.pdf
8d6f9898f753587d6261573818f52930b9d60a3cd76da0d6bb0873328ca3e842 *BSV_lang_ref_guide.pdf
6b685e6f84b7cca97fdeb8424b5f55319a3d188abbeaef28606e8316801ff310 *bsc_libraries_ref_guide.pdf
60cd28a318a029024b3fa136f81274fa97dddd63784a7852ab8ffbd9c11d5f74 *bsc_user_guide.pdf

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, and Rocky Linux 10 is compatible with RedHat Enterprise Linux (RHEL) 10. Ubuntu 22.04 is "Jammy Jellyfish", Ubuntu 24.04 is "Noble Numbat", and Ubuntu 26.04 is "Resolute Raccoon". MacOS 14 is "Sonoma", macOS 15 is "Sequoia", and macOS 26 is "Tahoe".

As of this release, we no longer provide a pre-built package for macOS 13 "Ventura", as Github no longer provides Github Actions runners for that platform.

All Linux releases are built for x86-64. All macOS releases are built for ARM64 (Apple Silicon), except "macos-15-intel" which is built for x86-64.

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.