Information for RPM coq-coqide-server-debuginfo-8.18.0-5.fc41.riscv64.rpm
ID | 1308207 | ||||||
---|---|---|---|---|---|---|---|
Name | coq-coqide-server-debuginfo | ||||||
Version | 8.18.0 | ||||||
Release | 5.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-06-04 14:26:59 GMT | ||||||
Size | 3.23 MB | ||||||
dc7c49f1b7c1470dbbfb3cbeb60e5aa8 | |||||||
License | LGPL-2.1-only AND MIT AND BSD-3-Clause | ||||||
https://github.com/coq/coq | |||||||
Buildroot | f41-build-811865-147589 | ||||||
Provides |
|
||||||
Obsoletes | No Obsoletes | ||||||
Conflicts | No Conflicts | ||||||
Requires |
|
||||||
Recommends |
|
||||||
Suggests | No Suggests | ||||||
Supplements | No Supplements | ||||||
Enhances | No Enhances | ||||||
Files | |||||||
Component of | No Buildroots |