Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM prooftree-debugsource-0.13-27.fc40.riscv64.rpm

ID	1091232
Name	prooftree-debugsource
Version	0.13
Release	27.fc40
Epoch
Arch	riscv64
Summary	Debug sources for package prooftree
Description	This package provides debug sources for package prooftree. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time	2023-11-13 05:16:11 GMT
Size	74.49 KB
SIGMD5	ffd2ebd1d997af8061e896d367fbb3fe
License	GPL-3.0-or-later
Buildroot	f40-build-739787-109290
Provides	prooftree-debugsource = 0.13-27.fc40 prooftree-debugsource(riscv-64) = 0.13-27.fc40
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 Size /usr/src/debug/prooftree-0.13-27.fc40.riscv64 0.00 B /usr/src/debug/prooftree-0.13-27.fc40.riscv64/about_window.ml 2.52 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/configuration.ml 63.48 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/coq.ml 5.06 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/draw_tree.ml 61.65 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/emacs_commands.ml 1.95 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/ext_dialog.ml 22.18 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/gtk_ext.ml 4.77 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/help_window.ml 13.27 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/input.ml 37.23 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/main.ml 4.01 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/node_window.ml 10.00 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/proof_tree.ml 34.48 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/proof_window.ml 52.89 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/tree_layers.ml 15.28 KB /usr/src/debug/prooftree-0.13-27.fc40.riscv64/util.ml 8.92 KB
Component of	No Buildroots