Main Site Links:

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

Information for RPM prooftree-debugsource-0.14-13.fc45.riscv64.rpm

ID	72345
Build	prooftree-0.14-13.fc45
Name	prooftree-debugsource
Version	0.14
Release	13.fc45
Epoch
Arch	riscv64
Draft	False
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	2026-10-17 05:47:41 GMT
Size	85.01 KB
SIGMD5	f4fbd39299747b803f976076f3b601d5
License	GPL-3.0-or-later
VCS	git:https://askra.de/software/prooftree.git
Buildroot	f45-build-29005-634
Provides	prooftree-debugsource = 0.14-13.fc45 prooftree-debugsource(riscv-64) = 0.14-13.fc45
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 20 of 20 Name Size /usr/src/debug/prooftree-0.14-13.fc45.riscv64 0.00 B /usr/src/debug/prooftree-0.14-13.fc45.riscv64/about_window.ml 2.44 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/configuration.ml 63.75 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/coq_evar_lexer.ml 11.48 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/coq_evar_lexer.mll 1.54 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/coq_evar_parser.ml 5.57 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/coq_evar_parser.mly 2.43 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/draw_tree.ml 65.11 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/emacs_commands.ml 3.10 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/evar_types.ml 2.05 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/ext_dialog.ml 23.49 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/gtk_ext.ml 4.71 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/help_window.ml 14.39 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/input.ml 42.33 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/main.ml 4.68 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/node_window.ml 10.07 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/proof_tree.ml 57.74 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/proof_window.ml 52.78 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/tree_layers.ml 15.22 KB /usr/src/debug/prooftree-0.14-13.fc45.riscv64/util.ml 9.41 KB
Component of	No Buildroots