Sat, 08 Jun 2024 09:15:22 UTC | login

Information for RPM prooftree-debugsource-0.13-6.fc30.riscv64.rpm

ID302583
Nameprooftree-debugsource
Version0.13
Release6.fc30
Epoch
Archriscv64
SummaryDebug sources for package prooftree
DescriptionThis package provides debug sources for package prooftree. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time2018-12-06 02:32:19 GMT
Size79.08 KB
3b324e62991d29d1aa0c3f8de2eb6e46
LicenseGPLv3+
Buildrootf30-build-37354-21379
Provides
prooftree-debugsource = 0.13-6.fc30
prooftree-debugsource(riscv-64) = 0.13-6.fc30
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 16 of 16
Name ascending sort Size
/usr/src/debug/prooftree-0.13-6.fc30.riscv640.00 B
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/about_window.ml2.52 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/configuration.ml63.48 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/coq.ml5.06 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/draw_tree.ml61.65 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/emacs_commands.ml1.95 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/ext_dialog.ml22.18 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/gtk_ext.ml4.77 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/help_window.ml13.27 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/input.ml37.23 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/main.ml4.01 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/node_window.ml10.00 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/proof_tree.ml34.48 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/proof_window.ml52.89 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/tree_layers.ml15.28 KB
/usr/src/debug/prooftree-0.13-6.fc30.riscv64/util.ml8.92 KB
Component of No Buildroots