DIST bluespec-2023.01.tar.gz 26431509 BLAKE2B 10cb153e3dfc6779e48ead139da53463ffd4610c389feee73b64ae74e65e411cb9408e324e76f5b56b1accbe012c79017f528d4daa2d575ae73b16f5cf9d4733 SHA512 704926ba3e9d04a3a12c5c77793151a68d650e5ce84c3d5e6a6b86187dea322cd0e0ba78a5fd840e2dbd3a01a7d27ca30b9648158056b2c96eb522722bdef302
DIST bluespec-2024.07.tar.gz 26477765 BLAKE2B 5c5d5030ac873b404f2be4705dc10e96dc5851e7d999851bdef3ef3174da33570a5501883724884950034dcc5939fdbbebcd8169493a4cc9ef3a448fa9dc5faa SHA512 7d8ec7ddd4d967195c0cba7f6988708aa5f53f621d862d7fa5b932d66756486cb65987258e19acdccabc3b7a85fef27cc0fadfe2d880384c225429c31dcaa2f4
DIST bluespec-2025.01.1.tar.gz 26482892 BLAKE2B 4f0c67de78bf37f9de894ad544430613491de3a97d7f2a00767adf12ccd527146af1d55cd90fdaa25441611fb18f9755a847bf7d7cb89db350eac92b914348e1 SHA512 d1d9fc149da0b793cf9158bf72219942cd11bef8b0e8ddce51a22de591cbad07cce367bb72e3c718bca1e81d3768a298b4f3e61cbb5b4b3cc04cf1cc7796908a
DIST bluespec-2026.01.tar.gz 26533179 BLAKE2B 9c08362e02256745b86ae832c8c01d1cdfa2ae59b0b3558545b6bbac292c9e23d2dbe452b4bf49d3c44c6a74df27b9fde124c38e0ef5d6f074e59aea64a8ea9a SHA512 0b5b9539209cb556b2325be091cc3f24f330b9b9a86c1ead3d872ab1fee92f828769f3cdd1ba7cbdc4315f44b747a2c62a7d46f90ad87452fdd5706aac6af11b
DIST yices-2.6.4.tar.gz 10186909 BLAKE2B 1c4b6297fd59924e9d99b9e17eb4b42e9bfbc24dcd56631beb9b72103c91578eb72b90cb9e228a5e9d489efc520a2e1d41185e9c3f4a8c43fc93f8dabba7414d SHA512 d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763
DIST yices-src-for-bsc-2026.01.tar.gz 8996957 BLAKE2B 101117f3c413ac0e7687fb86b10ee2b4201011166eca384c9d2387d5cd677b1ee6672a32db9aab528709ff86f6d4662a72b978f2a36c655b8db6aeba1a5897eb SHA512 92e91684efe5b7e351199c1cebb8c1f8256087c5c30c92a4ada709bb0a55654dafa1e0ecdec8a411ada5e238eda0e224cc49834df6c0dd7f21d7bcd7e8e53fd8