Information for RPM cvc5-libs-debuginfo-1.1.2-5.fc41.riscv64.rpm
ID | 1435772 | ||||||
---|---|---|---|---|---|---|---|
Name | cvc5-libs-debuginfo | ||||||
Version | 1.1.2 | ||||||
Release | 5.fc41 | ||||||
Epoch | |||||||
Arch | riscv64 | ||||||
Summary | Debug information for package cvc5-libs | ||||||
Description | This package provides debug information for package cvc5-libs. Debug information is useful when developing applications that use this package or when debugging this package. | ||||||
Build Time | 2024-08-15 20:54:35 GMT | ||||||
Size | 95.31 MB | ||||||
60a6cbf9f34350690d67c4afa89a6714 | |||||||
License | BSD-3-Clause AND MIT | ||||||
git:https://github.com/cvc5/cvc5.git | |||||||
Buildroot | f41-build-842767-161629 | ||||||
Provides |
|
||||||
Obsoletes | No Obsoletes | ||||||
Conflicts | No Conflicts | ||||||
Requires |
|
||||||
Recommends |
|
||||||
Suggests | No Suggests | ||||||
Supplements | No Supplements | ||||||
Enhances | No Enhances | ||||||
Files | |||||||
Component of | No Buildroots |