diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-03-04 09:09:30 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-03-04 09:35:04 +0100 |
| commit | 10ae732c1b13edde017b985e9f0f324a17e90a13 (patch) | |
| tree | 61fa8ad79a4fa1c5e1df2ab58ac2d287eebcbb1b /gnu | |
| parent | e5ce22956be4f20b7e1e52fb2f7e9b2c23f4ffd4 (diff) | |
gnu: abc-yosyshq: Update to 0.63.
* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.63.
Change-Id: Ife42136c03dc3422c64e998e44378c9a2a61dd66
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/electronics.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 1e9502cfa49..db7a6d0c5a3 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm | |||
| @@ -263,7 +263,7 @@ formal verification.") | |||
| 263 | (package | 263 | (package |
| 264 | (inherit abc) | 264 | (inherit abc) |
| 265 | (name "abc-yosyshq") | 265 | (name "abc-yosyshq") |
| 266 | (version "0.62") | 266 | (version "0.63") |
| 267 | (source (origin | 267 | (source (origin |
| 268 | (method git-fetch) | 268 | (method git-fetch) |
| 269 | (uri (git-reference | 269 | (uri (git-reference |
| @@ -272,7 +272,7 @@ formal verification.") | |||
| 272 | (file-name (git-file-name name version)) | 272 | (file-name (git-file-name name version)) |
| 273 | (sha256 | 273 | (sha256 |
| 274 | (base32 | 274 | (base32 |
| 275 | "1f3nza8w5r0z2pkngf5iyqgrl23l5qqr7d4gkh3grs72wrrrbmyz")))) | 275 | "1nwj4zhjqjgvb7fh877j51kfccwzrc591ag25qm9jirycgq1cqx6")))) |
| 276 | (home-page "https://github.com/YosysHQ/abc/") | 276 | (home-page "https://github.com/YosysHQ/abc/") |
| 277 | (description "ABC is a program for sequential logic synthesis and | 277 | (description "ABC is a program for sequential logic synthesis and |
| 278 | formal verification. This is the Yosyshq fork of ABC.") | 278 | formal verification. This is the Yosyshq fork of ABC.") |