diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-08-05 14:06:20 +0200 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-08-05 14:32:32 +0200 |
| commit | 2aa5c7d038ab8d0164ca79fbdd764f56af700187 (patch) | |
| tree | bb185fcc6c256fac62fa5c9ae94137ccee87c544 /gnu | |
| parent | 9da2be5a1f5818c3d6b757d1cc4113b8187c9d65 (diff) | |
gnu: abc-yosyshq: Update to 0.68.
* gnu/packages/electronics.scm (abc-yosyshq): Update to 0.68.
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 08c468b178c..732830f32df 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm | |||
| @@ -312,7 +312,7 @@ formal verification.") | |||
| 312 | (package | 312 | (package |
| 313 | (inherit abc) | 313 | (inherit abc) |
| 314 | (name "abc-yosyshq") | 314 | (name "abc-yosyshq") |
| 315 | (version "0.67") | 315 | (version "0.68") |
| 316 | (source (origin | 316 | (source (origin |
| 317 | (method git-fetch) | 317 | (method git-fetch) |
| 318 | (uri (git-reference | 318 | (uri (git-reference |
| @@ -327,7 +327,7 @@ formal verification.") | |||
| 327 | (for-each delete-file-recursively '("x64" "x86"))))) | 327 | (for-each delete-file-recursively '("x64" "x86"))))) |
| 328 | (sha256 | 328 | (sha256 |
| 329 | (base32 | 329 | (base32 |
| 330 | "05hhn3xzshyjcbahnshafxkglqj99pxlb8ph45k2f6dkvbqxw8n6")) | 330 | "1gh0b3s4mna1y2gi4x61jr3c9xiv6gw7rgc72mh7pchkijz40pv7")) |
| 331 | (patches | 331 | (patches |
| 332 | (search-patches "abc-tests.patch")))) | 332 | (search-patches "abc-tests.patch")))) |
| 333 | (arguments | 333 | (arguments |