Sat, 01 Jun 2024 14:55:07 UTC | login

Information for RPM prooftree-debugsource-0.13-21.fc37.riscv64.rpm

ID879337
Nameprooftree-debugsource
Version0.13
Release21.fc37
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 Time2022-11-10 08:54:45 GMT
Size74.55 KB
9eb91e92ddde98aa50a370b678b5e5e6
LicenseGPLv3+
Buildrootf37-build-671172-75197
Provides
prooftree-debugsource = 0.13-21.fc37
prooftree-debugsource(riscv-64) = 0.13-21.fc37
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(PayloadIsZstd) <= 5.4.18-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-21.fc37.riscv640.00 B
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/about_window.ml2.52 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/configuration.ml63.48 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/coq.ml5.06 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/draw_tree.ml61.65 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/emacs_commands.ml1.95 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/ext_dialog.ml22.18 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/gtk_ext.ml4.77 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/help_window.ml13.27 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/input.ml37.23 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/main.ml4.01 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/node_window.ml10.00 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/proof_tree.ml34.48 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/proof_window.ml52.89 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/tree_layers.ml15.28 KB
/usr/src/debug/prooftree-0.13-21.fc37.riscv64/util.ml8.92 KB
Component of No Buildroots