apron-devel-0.9.13-7.fc36 - Fedora Packages

Date	Author	Change
2021-12-27	Jerry James <loganjerry at gmail dot com> - 0.9.13-7	- Rebuild for ocaml-mlgmpidl 1.2.14
2021-10-04	Richard W.M. Jones <rjones at redhat dot com> - 0.9.13-6	- OCaml 4.13.1 build
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.13-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-03-01	Richard W.M. Jones <rjones at redhat dot com> - 0.9.13-4	- OCaml 4.12.0 build
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.13-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-11-20	Jerry James <loganjerry at gmail dot com> - 0.9.13-2	- Fix install location of OCaml stublibs
2020-09-25	Jerry James <loganjerry at gmail dot com> - 0.9.13-1	- Version 0.9.13 - Drop upstreamed -texinfo patch
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 0.9.12-10	- OCaml 4.11.1 rebuild
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 0.9.12-9	- OCaml 4.11.0 rebuild
2020-07-27	Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.12-8	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

usr/
- include/
  - apron/
    - ap_abstract0.h
    - ap_abstract1.h
    - ap_coeff.h
    - ap_config.h
    - ap_dimension.h
    - ap_disjunction.h
    - ap_environment.h
    - ap_expr0.h
    - ap_expr1.h
    - ap_generator0.h
    - ap_generator1.h
    - ap_generic.h
    - ap_global0.h
    - ap_global1.h
    - ap_interval.h
    - ap_lincons0.h
    - ap_lincons1.h
    - ap_linearize.h
    - ap_linearize_aux.h
    - ap_linexpr0.h
    - ap_linexpr1.h
    - ap_manager.h
    - ap_pkgrid.h
    - ap_policy.h
    - ap_ppl.h
    - ap_reducedproduct.h
    - ap_scalar.h
    - ap_tcons0.h
    - ap_tcons1.h
    - ap_texpr0.h
    - ap_texpr1.h
    - ap_var.h
    - ap_version.h
    - apronxx/
      - apronxx.hh
      - apxx_abstract0.hh
      - apxx_abstract0_inline.hh
      - apxx_abstract1.hh
      - apxx_abstract1_inline.hh
      - apxx_box.hh
      - apxx_box_inline.hh
      - apxx_coeff.hh
      - apxx_coeff_inline.hh
      - apxx_dimension.hh
      - apxx_dimension_inline.hh
      - apxx_environment.hh
      - apxx_environment_inline.hh
      - apxx_expr0.hh
      - apxx_expr1.hh
      - apxx_generator0.hh
      - apxx_generator0_inline.hh
      - apxx_generator1.hh
      - apxx_generator1_inline.hh
      - apxx_interval.hh
      - apxx_interval_inline.hh
      - apxx_lincons0.hh
      - apxx_lincons0_inline.hh
      - apxx_lincons1.hh
      - apxx_lincons1_inline.hh
      - apxx_linexpr0.hh
      - apxx_linexpr0_inline.hh
      - apxx_linexpr1.hh
      - apxx_linexpr1_inline.hh
      - apxx_manager.hh
      - apxx_manager_inline.hh
      - apxx_oct.hh
      - apxx_oct_inline.hh
      - apxx_polka.hh
      - apxx_polka_inline.hh
      - apxx_ppl.hh
      - apxx_ppl_inline.hh
      - apxx_ppl_product.hh
      - apxx_ppl_product_inline.hh
      - apxx_scalar.hh
      - apxx_scalar_inline.hh
      - apxx_t1p.hh
      - apxx_t1p_inline.hh
      - apxx_tcons0.hh
      - apxx_tcons0_inline.hh
      - apxx_tcons1.hh
      - apxx_tcons1_inline.hh
      - apxx_texpr0.hh
      - apxx_texpr0_inline.hh
      - apxx_texpr1.hh
      - apxx_texpr1_inline.hh
      - apxx_var.hh
      - apxx_var_inline.hh
    - bound.h
    - bound_def.h
    - box.h
    - itv.h
    - itv_config.h
    - itv_fun.h
    - itv_linearize.h
    - itv_linexpr.h
    - num.h
    - num_config.h
    - num_name.h
    - num_numflt.h
    - num_numint.h
    - num_numrat.h
    - numflt.h
    - numflt_mpfr.h
    - numflt_native.h
    - numint.h
    - numint_mpz.h
    - numint_native.h
    - numrat.h
    - numrat_mpq.h
    - numrat_native.h
    - oct/
      - oct_fun.h
      - oct_internal.h
    - oct.h
    - pk.h
    - pkeq.h
    - t1p.h
- lib64/
  - libap_pkgrid.so
  - libap_pkgrid_debug.so
  - libap_ppl.so
  - libap_ppl_debug.so
  - libapron.so
  - libapron_debug.so
  - libapronxx.so
  - libapronxx_debug.so
  - libboxD.so
  - libboxD_debug.so
  - libboxMPFR.so
  - libboxMPFR_debug.so
  - libboxMPQ.so
  - libboxMPQ_debug.so
  - liboctD.so
  - liboctD_debug.so
  - liboctMPQ.so
  - liboctMPQ_debug.so
  - libpolkaMPQ.so
  - libpolkaMPQ_debug.so
  - libpolkaRll.so
  - libpolkaRll_debug.so
  - libt1pD.so
  - libt1pD_debug.so
  - libt1pMPFR.so
  - libt1pMPFR_debug.so
  - libt1pMPQ.so
  - libt1pMPQ_debug.so
- share/
  - doc/
    - apron-devel/
      - apron/
        
        APRON-Global-Datatypes.html
        
        APRON-Guidelines.html
        
        APRON-PPL-standard-options.html
        
        APRON-Rationale-and-Functionalities.html
        
        Abstract-values-and-operations-of-level-0.html
        
        Abstract-values-and-operations-of-level-1.html
        
        Access-to-generators-of-level-1.html
        
        Access-to-linear-constraints-of-level-1.html
        
        Access-to-linear-expressions-of-level-0.html
        
        Access-to-linear-expressions-of-level-1.html
        
        Accessors-for-abstract-values-of-level-0.html
        
        Accessors-for-abstract-values-of-level-1.html
        
        Additional-functions-on-abstract-values-of-level-0.html
        
        Additional-functions-on-abstract-values-of-level-1.html
        
        Allocating-APRON-PPL-managers.html
        
        Allocating-Box-managers.html
        
        Allocating-NewPolka-managers-and-setting-specific-options.html
        
        Allocating-abstract-values-of-level-0.html
        
        Allocating-abstract-values-of-level-1.html
        
        Allocating-generators-of-level-0.html
        
        Allocating-generators-of-level-1.html
        
        Allocating-linear-constraints-of-level-0.html
        
        Allocating-linear-constraints-of-level-1.html
        
        Allocating-linear-expressions-of-level-0.html
        
        Allocating-linear-expressions-of-level-1.html
        
        Allocating-managers-and-setting-options.html
        
        Allocating-pkgrid-managers.html
        
        Array-of-intervals.html
        
        Arrays-of-generators-of-level-0.html
        
        Arrays-of-generators-of-level-1.html
        
        Arrays-of-linear-constraints-of-level-0.html
        
        Arrays-of-linear-constraints-of-level-1.html
        
        Arrays-of-tree-constraints-of-level-1.html
        
        Assignement-and-Substitutions.html
        
        Assignements-and-Substitutions-of-abstract-values-of-level-0.html
        
        Assignements-and-Substitutions-of-abstract-values-of-level-1.html
        
        Assigning-coefficients.html
        
        Assigning-intervals.html
        
        Assigning-scalars.html
        
        Box.html
        
        C-Headers-and-Libraries.html
        
        C-Naming-conventions.html
        
        C-Programming-Guidelines.html
        
        Change-and-permutation-of-dimensions-of-abstract-values-of-level-0.html
        
        Change-of-dimensions-and-permutations-of-generators-of-level-0.html
        
        Change-of-dimensions-and-permutations-of-generators-of-level-1.html
        
        Change-of-dimensions-and-permutations-of-linear-constraints-of-level-0.html
        
        Change-of-dimensions-and-permutations-of-linear-constraints-of-level-1.html
        
        Change-of-dimensions-and-permutations-of-linear-expressions-of-level-0.html
        
        Change-of-dimensions-and-permutations-of-linear-expressions-of-level-1.html
        
        Change-of-environments-of-abstract-values-of-level-1.html
        
        Coefficients.html
        
        Comparing-coefficients.html
        
        Comparing-intervals.html
        
        Comparing-scalars.html
        
        Compatibility-with-threads.html
        
        Constructors-for-abstract-values-of-level-0.html
        
        Constructors-for-abstract-values-of-level-1.html
        
        Constructors.html
        
        Constructors_002fDestructors-for-tree-constraints-of-level-1.html
        
        Constructors_002fDestructors-for-tree-expressions-of-level-1.html
        
        Control-of-internal-representation-of-abstract-values-of-level-0.html
        
        Control-of-internal-representation-of-abstract-values-of-level-1.html
        
        Control-of-internal-representation.html
        
        Converting-scalars.html
        
        Copying.html
        
        Datatypes-for-tree-constraints-of-level-1.html
        
        Datatypes-for-tree-expressions-of-level-1.html
        
        Dimensions-and-related-operations.html
        
        Dimensions.html
        
        Dynamic-typing-w_002er_002et_002e-environments.html
        
        Environments.html
        
        Examples.html
        
        Existential-quantification-of-abstract-values-of-level-0.html
        
        Existential-quantification-of-abstract-values-of-level-1.html
        
        Expansion-and-Folding-of-dimensions-in-abstract-values-of-level-0.html
        
        Expansion-and-Folding-of-dimensions-in-abstract-values-of-level-1.html
        
        Extraction-of-properties-of-abstract-values-of-level-0.html
        
        Extraction-of-properties-of-abstract-values-of-level-1.html
        
        Functionalities-of-the-interface-at-level-0.html
        
        Functionalities-of-the-interface-at-level-1.html
        
        Functions-for-implementors.html
        
        Functions-related-to-managers.html
        
        General-choices.html
        
        Generators-of-level-0.html
        
        Generators-of-level-1.html
        
        Initializing-coefficients.html
        
        Initializing-intervals.html
        
        Initializing-scalars.html
        
        Installing-APRON.html
        
        Interface-levels.html
        
        Interruptions.html
        
        Intervals.html
        
        Introduction-to-APRON.html
        
        Lattice-operations.html
        
        Level-0-of-the-interface.html
        
        Level-1-of-the-interface.html
        
        Linear-constraints-of-level-0.html
        
        Linear-constraints-of-level-1.html
        
        Linear-expressions-of-level-0.html
        
        Linear-expressions-of-level-1.html
        
        MakingLibrary.html
        
        Manager-options.html
        
        Managers-and-Abstract-Domains.html
        
        Managers.html
        
        Manipulating-changes-of-dimensions.html
        
        Manipulating-permutations-of-dimensions.html
        
        Meet-and-Join-of-abstract-values-of-level-0.html
        
        Meet-and-Join-of-abstract-values-of-level-1.html
        
        Memory-management.html
        
        NewPolka-standard-options.html
        
        NewPolka.html
        
        Number-representation.html
        
        OCaml-Programming-Guidelines.html
        
        Oct.html
        
        Operations-on-dimensions.html
        
        Operations-on-environments.html
        
        Operations-on-tree-constraints-of-level-1.html
        
        Operations-on-tree-expressions-of-level-1.html
        
        Operations-on-variables-in-abstract-values.html
        
        Other-datatypes.html
        
        Other-functions-on-linear-expressions-of-level-0.html
        
        Other-operations-on-coefficients.html
        
        Other-operations-on-intervals.html
        
        Other-operations-on-scalars.html
        
        Other-operations.html
        
        PPL.html
        
        Printing-abstract-values-of-level-0.html
        
        Printing-abstract-values-of-level-1.html
        
        Printing.html
        
        Programming-language.html
        
        Programming-style.html
        
        Property-extraction.html
        
        Representation-of-an-abstract-value.html
        
        Scalars-_0026-Intervals-_0026-Coefficients.html
        
        Scalars.html
        
        Semantics-and-Representation-of-an-abstract-value.html
        
        Semantics-of-an-abstract-value.html
        
        Sequel-of-the-small-example.html
        
        Serialization-of-abstract-values-of-level-0.html
        
        Serialization-of-abstract-values-of-level-1.html
        
        Serializaton_002fDeserialization.html
        
        Tests-on-abstract-values-of-level-0.html
        
        Tests-on-abstract-values-of-level-1.html
        
        Tests-on-linear-constraints-of-level-0.html
        
        Tests-on-linear-constraints-of-level-1.html
        
        Tests-on-linear-expressions-of-level-0.html
        
        Tests-on-linear-expressions-of-level-1.html
        
        Tests-on-tree-expressions-of-level-1.html
        
        Tests.html
        
        Topological-closure-of-abstract-values-of-level-0.html
        
        Topological-closure-of-abstract-values-of-level-1.html
        
        Tree-constraints-of-level-0.html
        
        Tree-constraints-of-level-1.html
        
        Tree-expressions-of-level-0.html
        
        Tree-expressions-of-level-1.html
        
        Typing-issue-in-C.html
        
        Use-of-APRON-PPL.html
        
        Use-of-Box.html
        
        Use-of-NewPolka.html
        
        Use-of-pkgrid.html
        
        Variables-and-Environments.html
        
        Variables-and-related-operations.html
        
        Widening-of-abstract-values-of-level-0.html
        
        Widening-of-abstract-values-of-level-1.html
        
        ap_005ffunopt_005ft.html
        
        example1.c
        
        index.html
        
        mlexample1.ml
        
        mlexample2.ml
        
        mlexample3.ml
        
        oct_doc.html
        
        pkgrid.html
      - apronxx/
        
        annotated.html
        
        apronxx_8hh.html
        
        apronxx_8hh_source.html
        
        apxx__abstract0_8hh.html
        
        apxx__abstract0_8hh_source.html
        
        apxx__abstract0__inline_8hh.html
        
        apxx__abstract0__inline_8hh_source.html
        
        apxx__abstract1_8hh.html
        
        apxx__abstract1_8hh_source.html
        
        apxx__abstract1__inline_8hh.html
        
        apxx__abstract1__inline_8hh_source.html
        
        apxx__box_8hh.html
        
        apxx__box_8hh_source.html
        
        apxx__box__inline_8hh.html
        
        apxx__box__inline_8hh_source.html
        
        apxx__coeff_8hh.html
        
        apxx__coeff_8hh_source.html
        
        apxx__coeff__inline_8hh.html
        
        apxx__coeff__inline_8hh_source.html
        
        apxx__dimension_8hh.html
        
        apxx__dimension_8hh_source.html
        
        apxx__dimension__inline_8hh.html
        
        apxx__dimension__inline_8hh_source.html
        
        apxx__environment_8hh.html
        
        apxx__environment_8hh_source.html
        
        apxx__environment__inline_8hh.html
        
        apxx__environment__inline_8hh_source.html
        
        apxx__expr0_8hh.html
        
        apxx__expr0_8hh_source.html
        
        apxx__expr1_8hh.html
        
        apxx__expr1_8hh_source.html
        
        apxx__generator0_8hh.html
        
        apxx__generator0_8hh_source.html
        
        apxx__generator0__inline_8hh.html
        
        apxx__generator0__inline_8hh_source.html
        
        apxx__generator1_8hh.html
        
        apxx__generator1_8hh_source.html
        
        apxx__generator1__inline_8hh.html
        
        apxx__generator1__inline_8hh_source.html
        
        apxx__interval_8hh.html
        
        apxx__interval_8hh_source.html
        
        apxx__interval__inline_8hh.html
        
        apxx__interval__inline_8hh_source.html
        
        apxx__lincons0_8hh.html
        
        apxx__lincons0_8hh_source.html
        
        apxx__lincons0__inline_8hh.html
        
        apxx__lincons0__inline_8hh_source.html
        
        apxx__lincons1_8hh.html
        
        apxx__lincons1_8hh_source.html
        
        apxx__lincons1__inline_8hh.html
        
        apxx__lincons1__inline_8hh_source.html
        
        apxx__linexpr0_8hh.html
        
        apxx__linexpr0_8hh_source.html
        
        apxx__linexpr0__inline_8hh.html
        
        apxx__linexpr0__inline_8hh_source.html
        
        apxx__linexpr1_8hh.html
        
        apxx__linexpr1_8hh_source.html
        
        apxx__linexpr1__inline_8hh.html
        
        apxx__linexpr1__inline_8hh_source.html
        
        apxx__manager_8hh.html
        
        apxx__manager_8hh_source.html
        
        apxx__manager__inline_8hh.html
        
        apxx__manager__inline_8hh_source.html
        
        apxx__oct_8hh.html
        
        apxx__oct_8hh_source.html
        
        apxx__oct__inline_8hh.html
        
        apxx__oct__inline_8hh_source.html
        
        apxx__polka_8hh.html
        
        apxx__polka_8hh_source.html
        
        apxx__polka__inline_8hh.html
        
        apxx__polka__inline_8hh_source.html
        
        apxx__ppl_8hh.html
        
        apxx__ppl_8hh_source.html
        
        apxx__ppl__inline_8hh.html
        
        apxx__ppl__inline_8hh_source.html
        
        apxx__ppl__product_8hh.html
        
        apxx__ppl__product_8hh_source.html
        
        apxx__ppl__product__inline_8hh.html
        
        apxx__ppl__product__inline_8hh_source.html
        
        apxx__scalar_8hh.html
        
        apxx__scalar_8hh_source.html
        
        apxx__scalar__inline_8hh.html
        
        apxx__scalar__inline_8hh_source.html
        
        apxx__t1p_8hh.html
        
        apxx__t1p_8hh_source.html
        
        apxx__t1p__inline_8hh.html
        
        apxx__t1p__inline_8hh_source.html
        
        apxx__tcons0_8hh.html
        
        apxx__tcons0_8hh_source.html
        
        apxx__tcons0__inline_8hh.html
        
        apxx__tcons0__inline_8hh_source.html
        
        apxx__tcons1_8hh.html
        
        apxx__tcons1_8hh_source.html
        
        apxx__tcons1__inline_8hh.html
        
        apxx__tcons1__inline_8hh_source.html
        
        apxx__texpr0_8hh.html
        
        apxx__texpr0_8hh_source.html
        
        apxx__texpr0__inline_8hh.html
        
        apxx__texpr0__inline_8hh_source.html
        
        apxx__texpr1_8hh.html
        
        apxx__texpr1_8hh_source.html
        
        apxx__texpr1__inline_8hh.html
        
        apxx__texpr1__inline_8hh_source.html
        
        apxx__var_8hh.html
        
        apxx__var_8hh_source.html
        
        apxx__var__inline_8hh.html
        
        apxx__var__inline_8hh_source.html
        
        bc_s.png
        
        bdwn.png
        
        classapron_1_1abstract0-members.html
        
        classapron_1_1abstract0.html
        
        classapron_1_1abstract1-members.html
        
        classapron_1_1abstract1.html
        
        classapron_1_1bad__discriminant-members.html
        
        classapron_1_1bad__discriminant.html
        
        classapron_1_1box__manager-members.html
        
        classapron_1_1box__manager.html
        
        classapron_1_1coeff-members.html
        
        classapron_1_1coeff.html
        
        classapron_1_1dim-members.html
        
        classapron_1_1dim.html
        
        classapron_1_1dimchange-members.html
        
        classapron_1_1dimchange.html
        
        classapron_1_1dimperm-members.html
        
        classapron_1_1dimperm.html
        
        classapron_1_1environment-members.html
        
        classapron_1_1environment.html
        
        classapron_1_1generator0-members.html
        
        classapron_1_1generator0.html
        
        classapron_1_1generator0__array-members.html
        
        classapron_1_1generator0__array.html
        
        classapron_1_1generator1-members.html
        
        classapron_1_1generator1.html
        
        classapron_1_1generator1__array-members.html
        
        classapron_1_1generator1__array.html
        
        classapron_1_1interval-members.html
        
        classapron_1_1interval.html
        
        classapron_1_1interval__array-members.html
        
        classapron_1_1interval__array.html
        
        classapron_1_1lincons0-members.html
        
        classapron_1_1lincons0.html
        
        classapron_1_1lincons0__array-members.html
        
        classapron_1_1lincons0__array.html
        
        classapron_1_1lincons1-members.html
        
        classapron_1_1lincons1.html
        
        classapron_1_1lincons1__array-members.html
        
        classapron_1_1lincons1__array.html
        
        classapron_1_1linexpr0-members.html
        
        classapron_1_1linexpr0.html
        
        classapron_1_1linexpr0_1_1const__iterator-members.html
        
        classapron_1_1linexpr0_1_1const__iterator.html
        
        classapron_1_1linexpr0_1_1iterator-members.html
        
        classapron_1_1linexpr0_1_1iterator.html
        
        classapron_1_1linexpr1-members.html
        
        classapron_1_1linexpr1.html
        
        classapron_1_1linexpr1_1_1const__iterator-members.html
        
        classapron_1_1linexpr1_1_1const__iterator.html
        
        classapron_1_1linexpr1_1_1iterator-members.html
        
        classapron_1_1linexpr1_1_1iterator.html
        
        classapron_1_1manager-members.html
        
        classapron_1_1manager.html
        
        classapron_1_1not__implemented-members.html
        
        classapron_1_1not__implemented.html
        
        classapron_1_1oct__manager-members.html
        
        classapron_1_1oct__manager.html
        
        classapron_1_1pkgrid__manager-members.html
        
        classapron_1_1pkgrid__manager.html
        
        classapron_1_1polka__manager-members.html
        
        classapron_1_1polka__manager.html
        
        classapron_1_1ppl__grid__manager-members.html
        
        classapron_1_1ppl__grid__manager.html
        
        classapron_1_1ppl__poly__manager-members.html
        
        classapron_1_1ppl__poly__manager.html
        
        classapron_1_1scalar-members.html
        
        classapron_1_1scalar.html
        
        classapron_1_1t1p__manager-members.html
        
        classapron_1_1t1p__manager.html
        
        classapron_1_1tcons0-members.html
        
        classapron_1_1tcons0.html
        
        classapron_1_1tcons0__array-members.html
        
        classapron_1_1tcons0__array.html
        
        classapron_1_1tcons1-members.html
        
        classapron_1_1tcons1.html
        
        classapron_1_1tcons1__array-members.html
        
        classapron_1_1tcons1__array.html
        
        classapron_1_1texpr0-members.html
        
        classapron_1_1texpr0.html
        
        classapron_1_1texpr0_1_1builder-members.html
        
        classapron_1_1texpr0_1_1builder.html
        
        classapron_1_1texpr0_1_1const__iterator-members.html
        
        classapron_1_1texpr0_1_1const__iterator.html
        
        classapron_1_1texpr0_1_1iterator-members.html
        
        classapron_1_1texpr0_1_1iterator.html
        
        classapron_1_1texpr1-members.html
        
        classapron_1_1texpr1.html
        
        classapron_1_1texpr1_1_1builder-members.html
        
        classapron_1_1texpr1_1_1builder.html
        
        classapron_1_1texpr1_1_1const__iterator-members.html
        
        classapron_1_1texpr1_1_1const__iterator.html
        
        classapron_1_1texpr1_1_1iterator-members.html
        
        classapron_1_1texpr1_1_1iterator.html
        
        classapron_1_1timeout-members.html
        
        classapron_1_1timeout.html
        
        classapron_1_1var-members.html
        
        classapron_1_1var.html
        
        classapron_1_1varname-members.html
        
        classapron_1_1varname.html
        
        classes.html
        
        closed.png
        
        doc.png
        
        doxygen.css
        
        doxygen.svg
        
        dynsections.js
        
        files.html
        
        folderclosed.png
        
        folderopen.png
        
        functions.html
        
        functions_b.html
        
        functions_c.html
        
        functions_d.html
        
        functions_e.html
        
        functions_enum.html
        
        functions_eval.html
        
        functions_f.html
        
        functions_func.html
        
        functions_func_b.html
        
        functions_func_c.html
        
        functions_func_d.html
        
        functions_func_e.html
        
        functions_func_f.html
        
        functions_func_g.html
        
        functions_func_h.html
        
        functions_func_i.html
        
        functions_func_j.html
        
        functions_func_l.html
        
        functions_func_m.html
        
        functions_func_n.html
        
        functions_func_o.html
        
        functions_func_p.html
        
        functions_func_r.html
        
        functions_func_s.html
        
        functions_func_t.html
        
        functions_func_u.html
        
        functions_func_v.html
        
        functions_func_~.html
        
        functions_g.html
        
        functions_h.html
        
        functions_i.html
        
        functions_j.html
        
        functions_l.html
        
        functions_m.html
        
        functions_n.html
        
        functions_o.html
        
        functions_p.html
        
        functions_r.html
        
        functions_rela.html
        
        functions_rela_b.html
        
        functions_rela_c.html
        
        functions_rela_d.html
        
        functions_rela_e.html
        
        functions_rela_f.html
        
        functions_rela_g.html
        
        functions_rela_j.html
        
        functions_rela_l.html
        
        functions_rela_m.html
        
        functions_rela_n.html
        
        functions_rela_o.html
        
        functions_rela_p.html
        
        functions_rela_r.html
        
        functions_rela_s.html
        
        functions_rela_t.html
        
        functions_rela_u.html
        
        functions_rela_w.html
        
        functions_s.html
        
        functions_t.html
        
        functions_u.html
        
        functions_v.html
        
        functions_vars.html
        
        functions_w.html
        
        functions_x.html
        
        functions_~.html
        
        globals.html
        
        globals_b.html
        
        globals_c.html
        
        globals_d.html
        
        globals_e.html
        
        globals_f.html
        
        globals_func.html
        
        globals_func_b.html
        
        globals_func_c.html
        
        globals_func_d.html
        
        globals_func_e.html
        
        globals_func_f.html
        
        globals_func_g.html
        
        globals_func_i.html
        
        globals_func_j.html
        
        globals_func_l.html
        
        globals_func_m.html
        
        globals_func_n.html
        
        globals_func_o.html
        
        globals_func_p.html
        
        globals_func_r.html
        
        globals_func_s.html
        
        globals_func_t.html
        
        globals_func_u.html
        
        globals_func_w.html
        
        globals_g.html
        
        globals_i.html
        
        globals_j.html
        
        globals_l.html
        
        globals_m.html
        
        globals_n.html
        
        globals_o.html
        
        globals_p.html
        
        globals_r.html
        
        globals_s.html
        
        globals_t.html
        
        globals_u.html
        
        globals_w.html
        
        hierarchy.html
        
        index.html
        
        jquery.js
        
        menu.js
        
        menudata.js
        
        namespaceapron.html
        
        namespacemembers.html
        
        namespacemembers_func.html
        
        namespaces.html
        
        nav_f.png
        
        nav_g.png
        
        nav_h.png
        
        open.png
        
        splitbar.png
        
        structapron_1_1bottom-members.html
        
        structapron_1_1bottom.html
        
        structapron_1_1frac-members.html
        
        structapron_1_1frac.html
        
        structapron_1_1id-members.html
        
        structapron_1_1id.html
        
        structapron_1_1infty-members.html
        
        structapron_1_1infty.html
        
        structapron_1_1tbool-members.html
        
        structapron_1_1tbool.html
        
        structapron_1_1top-members.html
        
        structapron_1_1top.html
        
        structapron_1_1unsat.html
        
        structapron_1_1use__malloc-members.html
        
        structapron_1_1use__malloc.html
        
        sync_off.png
        
        sync_on.png
        
        tab_a.png
        
        tab_b.png
        
        tab_h.png
        
        tab_s.png
        
        tabs.css

apron-devel-0.9.13-7.fc36 in Fedora Rawhide

Changelog

Dependencies

Provides

Files