gappalib-coq-source-1.7.0-2.rvre0.fc42.riscv64 | RPM Info

Information for RPM gappalib-coq-source-1.7.0-2.rvre0.fc42.riscv64.rpm

13188

Build

gappalib-coq-1.7.0-2.rvre0.fc42

Name

gappalib-coq-source

Version

1.7.0

Release

2.rvre0.fc42

Epoch

Arch

riscv64

Draft

False

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

2025-04-02 14:47:33 GMT

Size

48.51 KB

SIGMD5

f95ef04679472dbad75a8b2329a25033

License

LGPL-3.0-or-later

VCS

git:https://gitlab.inria.fr/gappa/coq.git

Provides

gappalib-coq-source = 1.7.0-2.rvre0.fc42

gappalib-coq-source(riscv-64) = 1.7.0-2.rvre0.fc42

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

gappalib-coq = 1.7.0-2.rvre0.fc42

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

Name	Size
1 through 23 of 23
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_common.v	408.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	1.10 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.v	6.54 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	551.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	16.75 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_lin.v	8.05 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.v	1.73 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.v	20.18 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_real.v	22.12 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.v	21.89 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	37.53 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	14.65 KB
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_user.v	3.34 KB

Component of

No Buildroots