ocaml-cil-devel-1.7.3-77.fc38 in Fedora 38

↵ Return to the main page of ocaml-cil-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
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
2021-05-22	Jitka Plesnikova <jplesnik at redhat dot com> - 1.7.3-68	- Perl 5.34 rebuild

Dependencies

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

Files

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

Sources on Pagure