minor doc bug: https://yices.csl.sri.com/ Sources has broken link to https://yices.csl.sri.com/releases/2.7.0/yices-2.7.0-src.tar.gz <img width="651" height="345" alt="Image" src="https://github.com/user-attachments/assets/118e1e3d-b796-4ee2-9cb0-4f77f96f8e2e" /> https://yices.csl.sri.com/releases/2.7.0/yices-2.7.0-src.tar.gz Or perhaps a build bug, and that file should have been deployed.
minor doc bug: https://yices.csl.sri.com/ Sources has broken link to https://yices.csl.sri.com/releases/2.7.0/yices-2.7.0-src.tar.gz
https://yices.csl.sri.com/releases/2.7.0/yices-2.7.0-src.tar.gz
Or perhaps a build bug, and that file should have been deployed.