ocaml-cil-devel-1.7.3-69.fc35 in Fedora 35

↵ 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
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
2021-03-01	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-67	- OCaml 4.12.0 build
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-66	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-65	- OCaml 4.11.1 rebuild
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-64	- OCaml 4.11.0 rebuild
2020-08-01	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-63	- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-28	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-62	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-25	Jitka Plesnikova <jplesnik at redhat dot com> - 1.7.3-61	- Perl 5.32 rebuild
2020-05-04	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-60	- OCaml 4.11.0+dev2-2020-04-22 rebuild

Dependencies

ocaml = b6c6694955e10001aed267571104a961
ocaml-cil = 1.7.3-69.fc35
ocaml-num = ee02223708fa1d9591dd37aae1f1360c
ocaml-num-devel = ee02223708fa1d9591dd37aae1f1360c
ocaml-runtime = b6c6694955e10001aed267571104a961

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