Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-cil-devel | Distribution: Fedora Project |
Version: 1.7.3 | Vendor: Fedora Project |
Release: 66.fc34 | Build date: Thu Jan 28 20:08:30 2021 |
Group: Unspecified | Build host: buildvm-ppc64le-12.iad2.fedoraproject.org |
Size: 6852970 | Source RPM: ocaml-cil-1.7.3-66.fc34.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/cil-project/cil | |
Summary: Development files for ocaml-cil |
The ocaml-cil-devel package contains libraries and signature files for developing applications that use ocaml-cil.
BSD
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-64 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-63 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-62 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu Jun 25 2020 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-61 - Perl 5.32 rebuild * Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-60 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-59 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-58 - OCaml 4.11.0 pre-release * Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-57 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-56 - OCaml 4.10.0 final. * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-55 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-54 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-53 - OCaml 4.09.0 (final) rebuild. * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-52 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-51 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-50 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-49 - OCaml 4.08.0 (final) rebuild. * Sat Jun 01 2019 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-48 - Perl 5.30 rebuild * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-47 - OCaml 4.08.0 (beta 3) rebuild. * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-46 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
/usr/lib64/ocaml/cil/alpha.cmx /usr/lib64/ocaml/cil/alpha.mli /usr/lib64/ocaml/cil/availexps.cmx /usr/lib64/ocaml/cil/availexps.inferred.mli /usr/lib64/ocaml/cil/availexpslv.cmx /usr/lib64/ocaml/cil/availexpslv.inferred.mli /usr/lib64/ocaml/cil/bitmap.cmx /usr/lib64/ocaml/cil/bitmap.mli /usr/lib64/ocaml/cil/cabs.cmx /usr/lib64/ocaml/cil/cabs.inferred.mli /usr/lib64/ocaml/cil/cabs2cil.cmx /usr/lib64/ocaml/cil/cabs2cil.mli /usr/lib64/ocaml/cil/cabshelper.cmx /usr/lib64/ocaml/cil/cabshelper.inferred.mli /usr/lib64/ocaml/cil/cabsvisit.cmx /usr/lib64/ocaml/cil/cabsvisit.mli /usr/lib64/ocaml/cil/callgraph.cmx /usr/lib64/ocaml/cil/callgraph.mli /usr/lib64/ocaml/cil/canonicalize.cmx /usr/lib64/ocaml/cil/canonicalize.mli /usr/lib64/ocaml/cil/cfg.cmx /usr/lib64/ocaml/cil/cfg.mli /usr/lib64/ocaml/cil/check.cmx /usr/lib64/ocaml/cil/check.mli /usr/lib64/ocaml/cil/cil.a /usr/lib64/ocaml/cil/cil.cmx /usr/lib64/ocaml/cil/cil.cmxa /usr/lib64/ocaml/cil/cil.mli /usr/lib64/ocaml/cil/cilint.cmx /usr/lib64/ocaml/cil/cilint.mli /usr/lib64/ocaml/cil/cillower.cmx /usr/lib64/ocaml/cil/cillower.mli /usr/lib64/ocaml/cil/ciloptions.cmx /usr/lib64/ocaml/cil/ciloptions.mli /usr/lib64/ocaml/cil/ciltools.cmx /usr/lib64/ocaml/cil/ciltools.inferred.mli /usr/lib64/ocaml/cil/cilutil.cmx /usr/lib64/ocaml/cil/cilutil.inferred.mli /usr/lib64/ocaml/cil/cilversion.cmx /usr/lib64/ocaml/cil/cilversion.inferred.mli /usr/lib64/ocaml/cil/clexer.cmx /usr/lib64/ocaml/cil/clexer.mli /usr/lib64/ocaml/cil/clist.cmx /usr/lib64/ocaml/cil/clist.mli /usr/lib64/ocaml/cil/cparser.cmx /usr/lib64/ocaml/cil/cparser.mli /usr/lib64/ocaml/cil/cprint.cmx /usr/lib64/ocaml/cil/cprint.inferred.mli /usr/lib64/ocaml/cil/dataflow.cmx /usr/lib64/ocaml/cil/dataflow.mli /usr/lib64/ocaml/cil/dataslicing.cmx /usr/lib64/ocaml/cil/dataslicing.mli /usr/lib64/ocaml/cil/deadcodeelim.cmx /usr/lib64/ocaml/cil/deadcodeelim.inferred.mli /usr/lib64/ocaml/cil/dominators.cmx /usr/lib64/ocaml/cil/dominators.mli /usr/lib64/ocaml/cil/epicenter.cmx /usr/lib64/ocaml/cil/epicenter.inferred.mli /usr/lib64/ocaml/cil/errormsg.cmx /usr/lib64/ocaml/cil/errormsg.mli /usr/lib64/ocaml/cil/escape.cmx /usr/lib64/ocaml/cil/escape.mli /usr/lib64/ocaml/cil/expcompare.cmx /usr/lib64/ocaml/cil/expcompare.inferred.mli /usr/lib64/ocaml/cil/feature_config.cmx /usr/lib64/ocaml/cil/feature_config.inferred.mli /usr/lib64/ocaml/cil/formatcil.cmx /usr/lib64/ocaml/cil/formatcil.mli /usr/lib64/ocaml/cil/formatlex.cmx /usr/lib64/ocaml/cil/formatlex.inferred.mli /usr/lib64/ocaml/cil/formatparse.cmx /usr/lib64/ocaml/cil/formatparse.mli /usr/lib64/ocaml/cil/frontc.cmx /usr/lib64/ocaml/cil/frontc.mli /usr/lib64/ocaml/cil/growArray.cmx /usr/lib64/ocaml/cil/growArray.mli /usr/lib64/ocaml/cil/heap.cmx /usr/lib64/ocaml/cil/heap.inferred.mli /usr/lib64/ocaml/cil/heapify.cmx /usr/lib64/ocaml/cil/heapify.inferred.mli /usr/lib64/ocaml/cil/inthash.cmx /usr/lib64/ocaml/cil/inthash.mli /usr/lib64/ocaml/cil/lexerhack.cmx /usr/lib64/ocaml/cil/lexerhack.inferred.mli /usr/lib64/ocaml/cil/liveness.cmx /usr/lib64/ocaml/cil/liveness.inferred.mli /usr/lib64/ocaml/cil/llvm.cmx /usr/lib64/ocaml/cil/llvm.inferred.mli /usr/lib64/ocaml/cil/llvmgen.cmx /usr/lib64/ocaml/cil/llvmgen.inferred.mli /usr/lib64/ocaml/cil/llvmssa.cmx /usr/lib64/ocaml/cil/llvmssa.inferred.mli /usr/lib64/ocaml/cil/llvmutils.cmx /usr/lib64/ocaml/cil/llvmutils.inferred.mli /usr/lib64/ocaml/cil/logcalls.cmx /usr/lib64/ocaml/cil/logcalls.mli /usr/lib64/ocaml/cil/logwrites.cmx /usr/lib64/ocaml/cil/logwrites.inferred.mli /usr/lib64/ocaml/cil/longarray.cmx /usr/lib64/ocaml/cil/longarray.mli /usr/lib64/ocaml/cil/machdep.cmx /usr/lib64/ocaml/cil/machdep.inferred.mli /usr/lib64/ocaml/cil/machdepenv.cmx /usr/lib64/ocaml/cil/machdepenv.inferred.mli /usr/lib64/ocaml/cil/mergecil.cmx /usr/lib64/ocaml/cil/mergecil.mli /usr/lib64/ocaml/cil/olf.cmx /usr/lib64/ocaml/cil/olf.mli /usr/lib64/ocaml/cil/oneret.cmx /usr/lib64/ocaml/cil/oneret.mli /usr/lib64/ocaml/cil/partial.cmx /usr/lib64/ocaml/cil/partial.inferred.mli /usr/lib64/ocaml/cil/patch.cmx /usr/lib64/ocaml/cil/patch.mli /usr/lib64/ocaml/cil/predabst.cmx /usr/lib64/ocaml/cil/predabst.inferred.mli /usr/lib64/ocaml/cil/pretty.cmx /usr/lib64/ocaml/cil/pretty.mli /usr/lib64/ocaml/cil/ptranal.cmx /usr/lib64/ocaml/cil/ptranal.mli /usr/lib64/ocaml/cil/reachingdefs.cmx /usr/lib64/ocaml/cil/reachingdefs.inferred.mli /usr/lib64/ocaml/cil/rmtmps.cmx /usr/lib64/ocaml/cil/rmtmps.mli /usr/lib64/ocaml/cil/setp.cmx /usr/lib64/ocaml/cil/setp.mli /usr/lib64/ocaml/cil/sfi.cmx /usr/lib64/ocaml/cil/sfi.inferred.mli /usr/lib64/ocaml/cil/simplemem.cmx /usr/lib64/ocaml/cil/simplemem.inferred.mli /usr/lib64/ocaml/cil/simplify.cmx /usr/lib64/ocaml/cil/simplify.mli /usr/lib64/ocaml/cil/ssa.cmx /usr/lib64/ocaml/cil/ssa.mli /usr/lib64/ocaml/cil/stats.cmx /usr/lib64/ocaml/cil/stats.mli /usr/lib64/ocaml/cil/trace.cmx /usr/lib64/ocaml/cil/trace.mli /usr/lib64/ocaml/cil/uref.cmx /usr/lib64/ocaml/cil/uref.mli /usr/lib64/ocaml/cil/usedef.cmx /usr/lib64/ocaml/cil/usedef.inferred.mli /usr/lib64/ocaml/cil/util.cmx /usr/lib64/ocaml/cil/util.mli /usr/lib64/ocaml/cil/whitetrack.cmx /usr/lib64/ocaml/cil/whitetrack.mli /usr/share/doc/ocaml-cil-devel /usr/share/doc/ocaml-cil-devel/LICENSE /usr/share/doc/ocaml-cil-devel/README.md
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Jan 9 18:25:19 2023