Wed, 27 Nov 2024 05:46:44 UTC | login

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

ID255354
Nameprooftree-debugsource
Version0.13
Release6.fc29
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-08-24 08:45:44 GMT
Size79.12 KB
ca4682ea9b8b7a6c4abab0a02c9dc38a
LicenseGPLv3+
Buildrootf29-build-27667-14621
Provides
prooftree-debugsource = 0.13-6.fc29
prooftree-debugsource(riscv-64) = 0.13-6.fc29
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.fc29.riscv640.00 B
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/about_window.ml2.52 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/configuration.ml63.48 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/coq.ml5.06 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/draw_tree.ml61.65 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/emacs_commands.ml1.95 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/ext_dialog.ml22.18 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/gtk_ext.ml4.77 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/help_window.ml13.27 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/input.ml37.23 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/main.ml4.01 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/node_window.ml10.00 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/proof_tree.ml34.48 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/proof_window.ml52.89 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/tree_layers.ml15.28 KB
/usr/src/debug/prooftree-0.13-6.fc29.riscv64/util.ml8.92 KB
Component of No Buildroots