Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libcudd-3_0_0-0-3.0.0-3.17 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

Name: libcudd-3_0_0-0 Distribution: openSUSE Tumbleweed
Version: 3.0.0 Vendor: openSUSE
Release: 3.17 Build date: Fri Feb 2 17:17:25 2024
Group: System/Libraries Build host: h02-ch2d
Size: 527844 Source RPM: cudd-3.0.0-3.17.src.rpm
Packager: https://bugs.opensuse.org
Url: http://vlsi.colorado.edu/~fabio/
Summary: Binary Decision Diagram manipulation library
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary
Decision Diagrams (ZDDs).

Provides

Requires

License

BSD-3-Clause

Changelog

* Sat Aug 24 2019 Jan Engelhardt <jengelh@inai.de>
  - Modernize specfile.
* Mon Apr 30 2018 jengelh@inai.de
  - Update summaries.
* Sat Mar 12 2016 jengelh@inai.de
  - Update to new upstream release 3.0.0
    * No changelog was provided
  - Drop cudd-automake.diff (applied upstream)
* Sat Oct 11 2014 jengelh@inai.de
  - Use source URLs. Drop dist-xz from cudd-automake.diff patch
    (it's not needed for our build).
* Tue Apr 16 2013 jengelh@inai.de
  - Initial package (version 2.5.0) for build.opensuse.org

Files

/usr/lib64/libcudd-3.0.0.so.0
/usr/lib64/libcudd-3.0.0.so.0.0.0
/usr/share/licenses/libcudd-3_0_0-0
/usr/share/licenses/libcudd-3_0_0-0/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 30 23:52:28 2024