ocaml-cil-1.7.3-78.fc39 - Fedora Packages

Date	Author	Change
2023-04-24	Florian Weimer <fweimer at redhat dot com> - 1.7.3-78	- Port to C99
2023-01-24	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-77	- Rebuild OCaml packages for F38
2023-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-76	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-75	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-18	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-74	- OCaml 4.14.0 rebuild
2022-06-01	Jitka Plesnikova <jplesnik at redhat dot com> - 1.7.3-73	- Perl 5.36 rebuild
2022-02-04	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-72	- OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-71	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-10-04	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-70	- OCaml 4.13.1 build
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-69	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Dependencies

ocaml = 8f8f634558798ee408df3c50a5539b15
ocaml-num = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-num-devel = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-runtime = 8f8f634558798ee408df3c50a5539b15

Provides

ocaml(Alpha)
ocaml(Availexps)
ocaml(Availexpslv)
ocaml(Bitmap)
ocaml(Cabs)
ocaml(Cabs2cil)
ocaml(Cabshelper)
ocaml(Cabsvisit)
ocaml(Callgraph)
ocaml(Canonicalize)
ocaml(Cfg)
ocaml(Check)
ocaml(Cil)
ocaml(Cilint)
ocaml(Cillower)
ocaml(Ciloptions)
ocaml(Ciltools)
ocaml(Cilutil)
ocaml(Cilversion)
ocaml(Clexer)
ocaml(Clist)
ocaml(Cparser)
ocaml(Cprint)
ocaml(Dataflow)
ocaml(Dataslicing)
ocaml(Deadcodeelim)
ocaml(Dominators)
ocaml(Epicenter)
ocaml(Errormsg)
ocaml(Escape)
ocaml(Expcompare)
ocaml(Feature_config)
ocaml(Formatcil)
ocaml(Formatlex)
ocaml(Formatparse)
ocaml(Frontc)
ocaml(GrowArray)
ocaml(Heap)
ocaml(Heapify)
ocaml(Inthash)
ocaml(Lexerhack)
ocaml(Liveness)
ocaml(Llvm)
ocaml(Llvmgen)
ocaml(Llvmssa)
ocaml(Llvmutils)
ocaml(Logcalls)
ocaml(Logwrites)
ocaml(Longarray)
ocaml(Machdep)
ocaml(Machdepenv)
ocaml(Mergecil)
ocaml(Olf)
ocaml(Oneret)
ocaml(Partial)
ocaml(Patch)
ocaml(Predabst)
ocaml(Pretty)
ocaml(Ptranal)
ocaml(Reachingdefs)
ocaml(Rmtmps)
ocaml(Setp)
ocaml(Sfi)
ocaml(Simplemem)
ocaml(Simplify)
ocaml(Ssa)
ocaml(Stats)
ocaml(Trace)
ocaml(Uref)
ocaml(Usedef)
ocaml(Util)
ocaml(Whitetrack)
ocaml-cil
ocaml-cil(x86-64)

Files

usr/
- lib64/
  - ocaml/
    - cil/
      - META
      - alpha.cmi
      - availexps.cmi
      - availexpslv.cmi
      - bitmap.cmi
      - cabs.cmi
      - cabs2cil.cmi
      - cabshelper.cmi
      - cabsvisit.cmi
      - callgraph.cmi
      - canonicalize.cmi
      - cfg.cmi
      - check.cmi
      - cil.cma
      - cil.cmi
      - cilint.cmi
      - cillower.cmi
      - ciloptions.cmi
      - ciltools.cmi
      - cilutil.cmi
      - cilversion.cmi
      - clexer.cmi
      - clist.cmi
      - cparser.cmi
      - cprint.cmi
      - dataflow.cmi
      - dataslicing.cmi
      - deadcodeelim.cmi
      - dominators.cmi
      - epicenter.cmi
      - errormsg.cmi
      - escape.cmi
      - expcompare.cmi
      - feature_config.cmi
      - formatcil.cmi
      - formatlex.cmi
      - formatparse.cmi
      - frontc.cmi
      - growArray.cmi
      - heap.cmi
      - heapify.cmi
      - inthash.cmi
      - lexerhack.cmi
      - liveness.cmi
      - llvm.cmi
      - llvmgen.cmi
      - llvmssa.cmi
      - llvmutils.cmi
      - logcalls.cmi
      - logwrites.cmi
      - longarray.cmi
      - machdep.cmi
      - machdepenv.cmi
      - mergecil.cmi
      - olf.cmi
      - oneret.cmi
      - partial.cmi
      - patch.cmi
      - predabst.cmi
      - pretty.cmi
      - ptranal.cmi
      - reachingdefs.cmi
      - rmtmps.cmi
      - setp.cmi
      - sfi.cmi
      - simplemem.cmi
      - simplify.cmi
      - ssa.cmi
      - stats.cmi
      - trace.cmi
      - uref.cmi
      - usedef.cmi
      - util.cmi
      - whitetrack.cmi
- share/
  - doc/
    - ocaml-cil/
      - LICENSE
      - README.md

ocaml-cil-1.7.3-78.fc39 in Fedora 39

Changelog

Dependencies

Provides

Files