Main Site Links:

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

Information for RPM gappalib-coq-source-1.5.3-8.fc40.riscv64.rpm

ID	1158497
Name	gappalib-coq-source
Version	1.5.3
Release	8.fc40
Epoch
Arch	riscv64
Summary	Source Coq files
Description	This package contains the source Coq files for gappalib-coq. These files are not needed to use gappalib-coq. They are made available for informational purposes.
Build Time	2023-12-27 08:23:07 GMT
Size	44.91 KB
SIGMD5	565bcfe85d66178f1b680c9c5fe2e7d1
License	LGPL-3.0-or-later
Buildroot	f40-build-766722-124288
Provides	gappalib-coq-source = 1.5.3-8.fc40 gappalib-coq-source(riscv-64) = 1.5.3-8.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	gappalib-coq = 1.5.3-8.fc40 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 22 of 22 Name Size /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_common.v 506.00 B /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_decimal.v 2.70 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_definitions.v 1015.00 B /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.v 6.34 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_fixed.v 7.13 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_float.v 31.38 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_library.v 520.00 B /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_obfuscate.v 1.21 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_abs.v 13.17 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_bnd.v 25.55 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_fixflt.v 12.02 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.v 1.46 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.v 17.93 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_real.v 22.12 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.v 16.11 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round.v 16.70 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_aux.v 2.58 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.v 2.91 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic.v 34.65 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic_loader.v 38.00 B /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tree.v 13.81 KB /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_user.v 3.34 KB
Component of	No Buildroots