ocaml-cil-devel-1.7.3-44.fc29.riscv64.rpm | RPM Info

Information for RPM ocaml-cil-devel-1.7.3-44.fc29.riscv64.rpm

255917

Name

ocaml-cil-devel

Version

1.7.3

Release

44.fc29

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

2018-08-25 02:31:28 GMT

Size

1.53 MB

SIGMD5

cf611d5cdb7e091ab1b86f6dffdb51bf

License

BSD

Buildroot

f29-build-27803-14680

Provides

ocaml-cil-devel = 1.7.3-44.fc29

ocaml-cil-devel(riscv-64) = 1.7.3-44.fc29

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

ocaml-cil = 1.7.3-44.fc29

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 149 >>>
/usr/share/doc/ocaml-cil-devel/README.md	2.60 KB
/usr/share/doc/ocaml-cil-devel/LICENSE	1.73 KB
/usr/share/doc/ocaml-cil-devel	0.00 B
/usr/lib64/ocaml/cil/whitetrack.mli	655.00 B
/usr/lib64/ocaml/cil/whitetrack.cmx	1.88 KB
/usr/lib64/ocaml/cil/util.mli	311.00 B
/usr/lib64/ocaml/cil/util.cmx	618.00 B
/usr/lib64/ocaml/cil/usedef.inferred.mli	2.37 KB
/usr/lib64/ocaml/cil/usedef.cmx	3.77 KB
/usr/lib64/ocaml/cil/uref.mli	2.59 KB
/usr/lib64/ocaml/cil/uref.cmx	499.00 B
/usr/lib64/ocaml/cil/trace.mli	3.62 KB
/usr/lib64/ocaml/cil/trace.cmx	1.07 KB
/usr/lib64/ocaml/cil/stats.mli	3.08 KB
/usr/lib64/ocaml/cil/stats.cmx	1.08 KB
/usr/lib64/ocaml/cil/ssa.mli	1.30 KB
/usr/lib64/ocaml/cil/ssa.cmx	3.20 KB
/usr/lib64/ocaml/cil/simplify.mli	371.00 B
/usr/lib64/ocaml/cil/simplify.cmx	2.22 KB
/usr/lib64/ocaml/cil/simplemem.inferred.mli	1.49 KB
/usr/lib64/ocaml/cil/simplemem.cmx	1.34 KB
/usr/lib64/ocaml/cil/sfi.inferred.mli	1.19 KB
/usr/lib64/ocaml/cil/sfi.cmx	1.75 KB
/usr/lib64/ocaml/cil/setp.mli	7.11 KB
/usr/lib64/ocaml/cil/setp.cmx	1.06 KB
/usr/lib64/ocaml/cil/rmtmps.mli	3.63 KB
/usr/lib64/ocaml/cil/rmtmps.cmx	1.97 KB
/usr/lib64/ocaml/cil/reachingdefs.inferred.mli	5.26 KB
/usr/lib64/ocaml/cil/reachingdefs.cmx	5.21 KB
/usr/lib64/ocaml/cil/ptranal.mli	5.63 KB
/usr/lib64/ocaml/cil/ptranal.cmx	7.32 KB
/usr/lib64/ocaml/cil/pretty.mli	12.04 KB
/usr/lib64/ocaml/cil/pretty.cmx	5.14 KB
/usr/lib64/ocaml/cil/predabst.inferred.mli	15.17 KB
/usr/lib64/ocaml/cil/predabst.cmx	6.07 KB
/usr/lib64/ocaml/cil/patch.mli	1.74 KB
/usr/lib64/ocaml/cil/patch.cmx	2.64 KB
/usr/lib64/ocaml/cil/partial.inferred.mli	15.61 KB
/usr/lib64/ocaml/cil/partial.cmx	9.05 KB
/usr/lib64/ocaml/cil/oneret.mli	1.94 KB
/usr/lib64/ocaml/cil/oneret.cmx	777.00 B
/usr/lib64/ocaml/cil/olf.mli	3.07 KB
/usr/lib64/ocaml/cil/olf.cmx	11.05 KB
/usr/lib64/ocaml/cil/mergecil.mli	1.81 KB
/usr/lib64/ocaml/cil/mergecil.cmx	2.59 KB
/usr/lib64/ocaml/cil/machdepenv.inferred.mli	642.00 B
/usr/lib64/ocaml/cil/machdepenv.cmx	1.31 KB
/usr/lib64/ocaml/cil/machdep.inferred.mli	905.00 B
/usr/lib64/ocaml/cil/machdep.cmx	416.00 B
/usr/lib64/ocaml/cil/longarray.mli	776.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM ocaml-cil-devel-1.7.3-44.fc29.riscv64.rpm