diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-07-12 23:24:00 +0200 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-07-12 23:24:05 +0200 |
| commit | 80a668385d08c688ef1ff9841a5bafd5d4bc2b10 (patch) | |
| tree | f290507f2104719aec1bbaebd6ce0839a015abe6 /gnu/packages | |
| parent | a8391f2d7451c2463ba253ffa9872fa6f27485d7 (diff) | |
gnu: cudd: Update repository.
* gnu/packages/maths.scm (cudd)[source]: Update url.
[home-page]: Update.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6d463eb226c..8a96f0b4b89 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm | |||
| @@ -9910,7 +9910,7 @@ Boolector.") | |||
| 9910 | (source (origin | 9910 | (source (origin |
| 9911 | (method git-fetch) | 9911 | (method git-fetch) |
| 9912 | (uri (git-reference | 9912 | (uri (git-reference |
| 9913 | (url "https://github.com/ivmai/cudd") | 9913 | (url "https://github.com/cuddorg/cudd") |
| 9914 | (commit (string-append "cudd-" version)))) | 9914 | (commit (string-append "cudd-" version)))) |
| 9915 | (file-name (git-file-name name version)) | 9915 | (file-name (git-file-name name version)) |
| 9916 | (sha256 | 9916 | (sha256 |
| @@ -9923,7 +9923,7 @@ Boolector.") | |||
| 9923 | ;; The original home-page was lost to time, so we reference the "unofficial" | 9923 | ;; The original home-page was lost to time, so we reference the "unofficial" |
| 9924 | ;; Github mirror. For what it's worth, the author of the library appears to | 9924 | ;; Github mirror. For what it's worth, the author of the library appears to |
| 9925 | ;; have been involved with this mirror at some point in time. | 9925 | ;; have been involved with this mirror at some point in time. |
| 9926 | (home-page "https://github.com/ivmai/cudd") | 9926 | (home-page "https://github.com/cuddorg/cudd") |
| 9927 | (synopsis "Manipulate decision diagrams") | 9927 | (synopsis "Manipulate decision diagrams") |
| 9928 | (description "@acronym{CUDD, Colorado University Decision Diagrams} is a | 9928 | (description "@acronym{CUDD, Colorado University Decision Diagrams} is a |
| 9929 | library for manipulating decision diagrams. It supports binary decision | 9929 | library for manipulating decision diagrams. It supports binary decision |