ocaml-cil-devel-1.7.3-66.fc34 in Fedora 34

↵ 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-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
2020-04-21	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-59	- OCaml 4.11.0 pre-release attempt 2
2020-04-17	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-58	- OCaml 4.11.0 pre-release
2020-04-03	Richard W.M. Jones <rjones at redhat dot com> - 1.7.3-57	- Update all OCaml dependencies for RPM 4.16.

Dependencies

ocaml = 3a3ca1838627f7762f49679ce0278ad1
ocaml-cil = 1.7.3-66.fc34
ocaml-num = dc25ad7b2afd2f71d443df3e2841f7da
ocaml-num-devel = dc25ad7b2afd2f71d443df3e2841f7da
ocaml-runtime = 3a3ca1838627f7762f49679ce0278ad1
ocaml-tplib = e6d191b089c68976347fa6524bb28048

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