Information for RPM coq-coqide-server-debuginfo-8.18.0-10.fc41.riscv64.rpm
| ID | 1362969 | ||||||
|---|---|---|---|---|---|---|---|
| Name | coq-coqide-server-debuginfo | ||||||
| Version | 8.18.0 | ||||||
| Release | 10.fc41 | ||||||
| Epoch | |||||||
| Arch | riscv64 | ||||||
| Summary | Debug information for package coq-coqide-server | ||||||
| Description | This package provides debug information for package coq-coqide-server. Debug information is useful when developing applications that use this package or when debugging this package. | ||||||
| Build Time | 2024-07-25 06:33:28 GMT | ||||||
| Size | 3.23 MB | ||||||
| a57eb268b08a95096a4d184633dd3d38 | |||||||
| License | LGPL-2.1-only AND MIT AND BSD-3-Clause | ||||||
| git:https://github.com/coq/coq.git | |||||||
| Buildroot | f41-build-820740-152300 | ||||||
| Provides |
|
||||||
| Obsoletes | No Obsoletes | ||||||
| Conflicts | No Conflicts | ||||||
| Requires |
|
||||||
| Recommends |
|
||||||
| Suggests | No Suggests | ||||||
| Supplements | No Supplements | ||||||
| Enhances | No Enhances | ||||||
| Files | |||||||
| Component of | No Buildroots |
