diff options
| author |   Huang Rui <vowstar@gmail.com> | 2023-11-02 21:47:18 +0800 |
|---|---|---|
| committer | Huang Rui <vowstar@gmail.com> | 2023-11-02 21:47:18 +0800 |
| commit | b9d1869255ee988f57335cef89a532c6ff0f9a30 (patch) | |
| tree | 43455728f905ace3602484cae40d6411798a427c /sci-electronics/bluespec/Manifest | |
| parent | dev-libs/qrcodegen: add metadata.xml, fix QA (diff) | |
| download | guru-b9d1869255ee988f57335cef89a532c6ff0f9a30.tar.gz guru-b9d1869255ee988f57335cef89a532c6ff0f9a30.tar.bz2 guru-b9d1869255ee988f57335cef89a532c6ff0f9a30.zip | |
sci-electronics/bluespec: add 2023.07
Signed-off-by: Huang Rui <vowstar@gmail.com>
Diffstat (limited to 'sci-electronics/bluespec/Manifest')
| -rw-r--r-- | sci-electronics/bluespec/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-electronics/bluespec/Manifest b/sci-electronics/bluespec/Manifest index b108e2ade..fc42dc842 100644 --- a/sci-electronics/bluespec/Manifest +++ b/sci-electronics/bluespec/Manifest @@ -1,3 +1,4 @@ DIST bluespec-2022.01.tar.gz 25576850 BLAKE2B c80dada5bdbc13bd8ff4205ff8b65384845548b61190dd0d3729d877be576b78acfd38857adf427321f9ba078bae2891640cf211e907ca2db679bd7a0d2bb536 SHA512 e6a1e0197d42ca402180735d1f2c41ab84b47eb8708d4ff49a9d509a928dec7cda88d06353faaebefcabacb734d6f7dd1cee1b6e1053010231c8ae508cb80789 DIST bluespec-2023.01.tar.gz 26431509 BLAKE2B 10cb153e3dfc6779e48ead139da53463ffd4610c389feee73b64ae74e65e411cb9408e324e76f5b56b1accbe012c79017f528d4daa2d575ae73b16f5cf9d4733 SHA512 704926ba3e9d04a3a12c5c77793151a68d650e5ce84c3d5e6a6b86187dea322cd0e0ba78a5fd840e2dbd3a01a7d27ca30b9648158056b2c96eb522722bdef302 +DIST bluespec-2023.07.tar.gz 26449912 BLAKE2B de40024ee5a61b608d341d940d631e6350c3d45eeb8e52fc046ef4b6175c17c9867894d7a73dc656fefe19b952da7baafba1d2d685e990bb08c4e90435519815 SHA512 c14c7a17c53dc59ed8c62022fec932f7c8da13ef3d5aaa5c0439c492e89919bb2cb647cfb862e4d072cfb9bdbbe3e5ed0b98f9a609a6cbb7bbd5ce55384cbb5e DIST yices-2.6.4.tar.gz 10186909 BLAKE2B 1c4b6297fd59924e9d99b9e17eb4b42e9bfbc24dcd56631beb9b72103c91578eb72b90cb9e228a5e9d489efc520a2e1d41185e9c3f4a8c43fc93f8dabba7414d SHA512 d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763 |