commit: 38220093772cc634c361b8604a8003b2ef1573af Author: Huang Rui <vowstar <AT> gmail <DOT> com> AuthorDate: Sun Apr 27 07:58:10 2025 +0000 Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org> CommitDate: Sun Apr 27 08:02:31 2025 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=38220093
sci-electronics/bluespec: update Manifest Closes: https://bugs.gentoo.org/954336 Signed-off-by: Huang Rui <vowstar <AT> gmail.com> sci-electronics/bluespec/Manifest | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-electronics/bluespec/Manifest b/sci-electronics/bluespec/Manifest index 1ac48d50b..e3fe5209f 100644 --- a/sci-electronics/bluespec/Manifest +++ b/sci-electronics/bluespec/Manifest @@ -3,5 +3,5 @@ DIST bluespec-2023.01.tar.gz 26431509 BLAKE2B 10cb153e3dfc6779e48ead139da53463ff DIST bluespec-2023.07.tar.gz 26449912 BLAKE2B de40024ee5a61b608d341d940d631e6350c3d45eeb8e52fc046ef4b6175c17c9867894d7a73dc656fefe19b952da7baafba1d2d685e990bb08c4e90435519815 SHA512 c14c7a17c53dc59ed8c62022fec932f7c8da13ef3d5aaa5c0439c492e89919bb2cb647cfb862e4d072cfb9bdbbe3e5ed0b98f9a609a6cbb7bbd5ce55384cbb5e DIST bluespec-2024.01.tar.gz 26477100 BLAKE2B 257204eb8a677a26ce4dc24a1f646b48b8d5247ec4427fb9dc98e1a31ae71c649d835237c822c24818f31b3da434f9b430383cc948d4893034074b4347a7f183 SHA512 e5c8213e73bb58fb46db374b4e26631ca56c2681b691dd6357fe6a1bb5c70641fe7f53a7e3f20a489b4d435a0f94b6e14b33fa56dbb83c80190999bba47580c8 DIST bluespec-2024.07.tar.gz 26477765 BLAKE2B 5c5d5030ac873b404f2be4705dc10e96dc5851e7d999851bdef3ef3174da33570a5501883724884950034dcc5939fdbbebcd8169493a4cc9ef3a448fa9dc5faa SHA512 7d8ec7ddd4d967195c0cba7f6988708aa5f53f621d862d7fa5b932d66756486cb65987258e19acdccabc3b7a85fef27cc0fadfe2d880384c225429c31dcaa2f4 -DIST bluespec-2025.01.1.tar.gz 26482903 BLAKE2B efc39090de2052cd8f3957265d5b1e24c468648b84339206736d9ef47ea3966eff26ef18fb676fca4d6411d7d609e86a08c28afb52e8cfd7120aaa4238d880eb SHA512 c922240ede92e0a448d3602bef71990467b5106b921c70b6a7e003df7930582fa0ecbd615918e6c3f56ab9c8bbb9cc4b3a38840f64feafd88fa4fd44dcbeff9a +DIST bluespec-2025.01.1.tar.gz 26482892 BLAKE2B 4f0c67de78bf37f9de894ad544430613491de3a97d7f2a00767adf12ccd527146af1d55cd90fdaa25441611fb18f9755a847bf7d7cb89db350eac92b914348e1 SHA512 d1d9fc149da0b793cf9158bf72219942cd11bef8b0e8ddce51a22de591cbad07cce367bb72e3c718bca1e81d3768a298b4f3e61cbb5b4b3cc04cf1cc7796908a DIST yices-2.6.4.tar.gz 10186909 BLAKE2B 1c4b6297fd59924e9d99b9e17eb4b42e9bfbc24dcd56631beb9b72103c91578eb72b90cb9e228a5e9d489efc520a2e1d41185e9c3f4a8c43fc93f8dabba7414d SHA512 d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763
