Mon, 11 Nov 2024 11:09:22 UTC | login

Information for RPM prooftree-debugsource-0.13-8.fc31.riscv64.rpm

ID459351
Nameprooftree-debugsource
Version0.13
Release8.fc31
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 Time2019-08-14 07:59:11 GMT
Size73.62 KB
9ae24f23d71cc7e0b2b0e0f13377e1f5
LicenseGPLv3+
Buildrootf31-build-89419-32069
Provides
prooftree-debugsource = 0.13-8.fc31
prooftree-debugsource(riscv-64) = 0.13-8.fc31
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-8.fc31.riscv640.00 B
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/about_window.ml2.52 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/configuration.ml63.48 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/coq.ml5.06 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/draw_tree.ml61.65 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/emacs_commands.ml1.95 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/ext_dialog.ml22.18 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/gtk_ext.ml4.77 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/help_window.ml13.27 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/input.ml37.23 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/main.ml4.01 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/node_window.ml10.00 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/proof_tree.ml34.48 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/proof_window.ml52.89 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/tree_layers.ml15.28 KB
/usr/src/debug/prooftree-0.13-8.fc31.riscv64/util.ml8.92 KB
Component of No Buildroots