mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 21:43:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-electronics/bluespec: add 2025.07

Browse Source 
Signed-off-by: Huang Rui <vowstar@gmail.com>
This commit is contained in:
Huang Rui
2025-12-11 14:20:07 +08:00
parent f013fe6428
commit f9a5da648a
2 changed files with 147 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-electronics/bluespec/Manifest
View File

@@ -4,4 +4,5 @@ DIST bluespec-2023.07.tar.gz 26449912 BLAKE2B de40024ee5a61b608d341d940d631e6350
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 26482892 BLAKE2B 4f0c67de78bf37f9de894ad544430613491de3a97d7f2a00767adf12ccd527146af1d55cd90fdaa25441611fb18f9755a847bf7d7cb89db350eac92b914348e1 SHA512 d1d9fc149da0b793cf9158bf72219942cd11bef8b0e8ddce51a22de591cbad07cce367bb72e3c718bca1e81d3768a298b4f3e61cbb5b4b3cc04cf1cc7796908a
DIST bluespec-2025.07.tar.gz 26491666 BLAKE2B 3f25503c366fcff69cd0e7d8bd63f80c46a10f69e1a67b0ebfaf57c47d8985b3124e46bfecc5197895875dee7825cdef708629b2f8f1d4d15e6cf4f1e389c841 SHA512 25e415f53819c402a50743643b75f3d0b1d18665d5b1216e7d86df8bd2ea8dbd3528359d0b575b19c0c13e4fe1c4df47562240ab969714e55ca60f9a1ae1b404
DIST yices-2.6.4.tar.gz 10186909 BLAKE2B 1c4b6297fd59924e9d99b9e17eb4b42e9bfbc24dcd56631beb9b72103c91578eb72b90cb9e228a5e9d489efc520a2e1d41185e9c3f4a8c43fc93f8dabba7414d SHA512 d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763