yosyshq-abc-libs-0.31-1.20230804gitbb64142.fc39 in Fedora 39
↵ Return to the main page of yosyshq-abc-libs
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
Date |
Author |
Change |
2023-08-04 |
Gabriel Somlo <gsomlo at gmail dot com> - 0.31-1.20230804gitbb64142 |
- Initial RPM |
Provides
- abc-libs
- bundled(cudd)
- bundled(glucose)
- bundled(minisat2)
- bundled(satoko)
- libabc.so.0()(64bit)
- yosyshq-abc-libs
- yosyshq-abc-libs(x86-64)
Files
- usr/
- lib/
- .build-id/
- 98/
- 542a9f657f4a50acca21448e6f04c3bfb6c404
- lib64/
- libabc.so.0
- libabc.so.0.0.0
- share/