-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-3158 2011-03-12 04:22:40 --------------------------------------------------------------------------------
Name : cudd Product : Fedora 15 Version : 2.4.2 Release : 4.fc15 URL : http://vlsi.colorado.edu/~fabio/CUDD/ Summary : CU Decision Diagram Package Description : CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs). -------------------------------------------------------------------------------- Update Information: This is a rebuild for F-15, since cudd was omitted from the mass rebuild. There should be no functional changes. -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update cudd' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
