This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 80a668385d gnu: cudd: Update repository.
80a668385d is described below
commit 80a668385d08c688ef1ff9841a5bafd5d4bc2b10
Author: Cayetano Santos <[email protected]>
AuthorDate: Sun Jul 12 23:24:00 2026 +0200
gnu: cudd: Update repository.
* gnu/packages/maths.scm (cudd)[source]: Update url.
[home-page]: Update.
---
gnu/packages/maths.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 6d463eb226..8a96f0b4b8 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9910,7 +9910,7 @@ Boolector.")
(source (origin
(method git-fetch)
(uri (git-reference
- (url "https://github.com/ivmai/cudd";)
+ (url "https://github.com/cuddorg/cudd";)
(commit (string-append "cudd-" version))))
(file-name (git-file-name name version))
(sha256
@@ -9923,7 +9923,7 @@ Boolector.")
;; The original home-page was lost to time, so we reference the "unofficial"
;; Github mirror. For what it's worth, the author of the library appears to
;; have been involved with this mirror at some point in time.
- (home-page "https://github.com/ivmai/cudd";)
+ (home-page "https://github.com/cuddorg/cudd";)
(synopsis "Manipulate decision diagrams")
(description "@acronym{CUDD, Colorado University Decision Diagrams} is a
library for manipulating decision diagrams. It supports binary decision
