Package - libbdd0c2
Primary informations
Download package: http://deb.debian.org/debian/pool/main/b/buddy/libbdd0c2_2.4+dfsg-2_amd64.deb (Size: 54.8KiB)| Property | Value |
|---|---|
| Package | libbdd0c2 |
| Source | buddy |
| Version | 2.4+dfsg-2 |
| Installed-Size | 144 |
| Maintainer | Debian QA Group |
| Architecture | amd64 |
| Depends | libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) |
| Description | Binary decision-diagram library (runtime) |
| Description-md5 | b3e8960dec071b06cd523391a20941ac |
| Homepage | https://buddy.sourceforge.net/manual/main.html |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/b/buddy/libbdd0c2_2.4+dfsg-2_amd64.deb |
| Size | 56116 |
| MD5sum | c6692969764fc1cdd00e88f339b7eb0b |
| SHA256 | 912cd395b64f2f96a01b081f49fbadbe0cae8409f1c2f58ad3c416c8d6da8066 |
Files in package
- /usr/lib/x86_64-linux-gnu/libbdd.so.0
- /usr/lib/x86_64-linux-gnu/libbdd.so.0.0.0
- /usr/share/doc/libbdd0c2/AUTHORS
- /usr/share/doc/libbdd0c2/NEWS.gz
- /usr/share/doc/libbdd0c2/changelog.Debian.gz
- /usr/share/doc/libbdd0c2/changelog.gz
- /usr/share/doc/libbdd0c2/copyright