mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-electronics/bluespec: add 2026.01, drop 2025.07

Browse Source 
Signed-off-by: Huang Rui <vowstar@gmail.com>
This commit is contained in:
Huang Rui
2026-05-03 16:40:49 +08:00
parent 95027f8795
commit dff40a1df2
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sci-electronics/bluespec/Manifest
View File

@@ -4,5 +4,6 @@ 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 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

7
sci-electronics/bluespec/bluespec-2025.07.ebuild → sci-electronics/bluespec/bluespec-2026.01.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2025 Gentoo Authors
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -12,10 +12,10 @@ if [[ ${PV} == "9999" ]] ; then
else
SRC_URI="
https://github.com/B-Lang-org/bsc/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz
https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-2.6.4.tar.gz -> yices-2.6.4.tar.gz
https://github.com/B-Lang-org/bsc/releases/download/${PV}/yices-src-for-bsc-${PV}.tar.gz
"
S="${WORKDIR}/bsc-${PV}"
S_YICES="${WORKDIR}/yices2-Yices-2.6.4"
S_YICES="${WORKDIR}/src/vendor/yices/v2.6/yices2"
KEYWORDS="~amd64 ~x86"
fi
@@ -30,6 +30,7 @@ RDEPEND="
dev-haskell/old-time:0=
dev-haskell/regex-compat:0=
dev-haskell/split:0=
dev-haskell/strict-concurrency:0=
dev-haskell/syb:0=
dev-lang/tcl
"