Thu, 02 May 2024 16:15:13 UTC | login

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

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