ocaml-cil-devel-1.7.3-49.fc31.riscv64.rpm | RPM Info

Information for RPM ocaml-cil-devel-1.7.3-49.fc31.riscv64.rpm

377445

Name

ocaml-cil-devel

Version

1.7.3

Release

49.fc31

Epoch

Arch

riscv64

Summary

Development files for ocaml-cil

Description

The ocaml-cil-devel package contains libraries and signature files for developing applications that use ocaml-cil.

Build Time

2019-07-24 04:39:36 GMT

Size

1.61 MB

SIGMD5

39abd7a48289e34ef13eff23f744a768

License

BSD

Buildroot

f31-build-48517-27120

Provides

ocaml-cil-devel = 1.7.3-49.fc31

ocaml-cil-devel(riscv-64) = 1.7.3-49.fc31

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

ocaml-cil = 1.7.3-49.fc31

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
Page: 1 through 50 of 149 >>>
/usr/lib64/ocaml/cil/alpha.cmx	1.23 KB
/usr/lib64/ocaml/cil/alpha.mli	2.45 KB
/usr/lib64/ocaml/cil/availexps.cmx	2.56 KB
/usr/lib64/ocaml/cil/availexps.inferred.mli	8.42 KB
/usr/lib64/ocaml/cil/availexpslv.cmx	4.45 KB
/usr/lib64/ocaml/cil/availexpslv.inferred.mli	9.84 KB
/usr/lib64/ocaml/cil/bitmap.cmx	1.13 KB
/usr/lib64/ocaml/cil/bitmap.mli	1.92 KB
/usr/lib64/ocaml/cil/cabs.cmx	167.00 B
/usr/lib64/ocaml/cil/cabs.inferred.mli	4.69 KB
/usr/lib64/ocaml/cil/cabs2cil.cmx	10.48 KB
/usr/lib64/ocaml/cil/cabs2cil.mli	3.63 KB
/usr/lib64/ocaml/cil/cabshelper.cmx	1.26 KB
/usr/lib64/ocaml/cil/cabshelper.inferred.mli	661.00 B
/usr/lib64/ocaml/cil/cabsvisit.cmx	2.15 KB
/usr/lib64/ocaml/cil/cabsvisit.mli	5.42 KB
/usr/lib64/ocaml/cil/callgraph.cmx	1.74 KB
/usr/lib64/ocaml/cil/callgraph.mli	4.96 KB
/usr/lib64/ocaml/cil/canonicalize.cmx	1.04 KB
/usr/lib64/ocaml/cil/canonicalize.mli	2.11 KB
/usr/lib64/ocaml/cil/cfg.cmx	1.86 KB
/usr/lib64/ocaml/cil/cfg.mli	1.06 KB
/usr/lib64/ocaml/cil/check.cmx	2.36 KB
/usr/lib64/ocaml/cil/check.mli	2.05 KB
/usr/lib64/ocaml/cil/cil.a	10.19 MB
/usr/lib64/ocaml/cil/cil.cmx	17.60 KB
/usr/lib64/ocaml/cil/cil.cmxa	55.65 KB
/usr/lib64/ocaml/cil/cil.mli	114.25 KB
/usr/lib64/ocaml/cil/cilint.cmx	2.47 KB
/usr/lib64/ocaml/cil/cilint.mli	3.68 KB
/usr/lib64/ocaml/cil/cillower.cmx	707.00 B
/usr/lib64/ocaml/cil/cillower.mli	1.83 KB
/usr/lib64/ocaml/cil/ciloptions.cmx	8.21 KB
/usr/lib64/ocaml/cil/ciloptions.mli	1.92 KB
/usr/lib64/ocaml/cil/ciltools.cmx	1.58 KB
/usr/lib64/ocaml/cil/ciltools.inferred.mli	4.86 KB
/usr/lib64/ocaml/cil/cilutil.cmx	248.00 B
/usr/lib64/ocaml/cil/cilutil.inferred.mli	404.00 B
/usr/lib64/ocaml/cil/cilversion.cmx	210.00 B
/usr/lib64/ocaml/cil/cilversion.inferred.mli	100.00 B
/usr/lib64/ocaml/cil/clexer.cmx	27.42 KB
/usr/lib64/ocaml/cil/clexer.mli	2.47 KB
/usr/lib64/ocaml/cil/clist.cmx	932.00 B
/usr/lib64/ocaml/cil/clist.mli	3.98 KB
/usr/lib64/ocaml/cil/cparser.cmx	37.86 KB
/usr/lib64/ocaml/cil/cparser.mli	3.13 KB
/usr/lib64/ocaml/cil/cprint.cmx	3.52 KB
/usr/lib64/ocaml/cil/cprint.inferred.mli	2.44 KB
/usr/lib64/ocaml/cil/dataflow.cmx	1.08 KB
/usr/lib64/ocaml/cil/dataflow.mli	6.93 KB

Component of

No Buildroots

Main Site Links:

Information for RPM ocaml-cil-devel-1.7.3-49.fc31.riscv64.rpm