data/apron-0.9.10/README.windows:                                                                                ASCII text
data/apron-0.9.10/mlgmpidl/mpfr.ml:                                                                              ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpf.ml:                                                                               ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpfr_caml.c:                                                                          C source, ASCII text
data/apron-0.9.10/mlgmpidl/mpfrf.ml:                                                                             ASCII text
data/apron-0.9.10/mlgmpidl/COPYING:                                                                              ASCII text
data/apron-0.9.10/mlgmpidl/introduction.mli:                                                                     ASCII text
data/apron-0.9.10/mlgmpidl/mpf.idl:                                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpzf.mli:                                                                             ASCII text
data/apron-0.9.10/mlgmpidl/session.ml:                                                                           ASCII text
data/apron-0.9.10/mlgmpidl/mpq_caml.c:                                                                           C source, ASCII text
data/apron-0.9.10/mlgmpidl/mpq.ml:                                                                               ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpf.mli:                                                                              ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpz.mli:                                                                              ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/Makefile.config.model:                                                                makefile script, ASCII text
data/apron-0.9.10/mlgmpidl/mpzf.ml:                                                                              ASCII text
data/apron-0.9.10/mlgmpidl/mpfr.mli:                                                                             ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpqf.mli:                                                                             ASCII text
data/apron-0.9.10/mlgmpidl/mpqf.ml:                                                                              ASCII text
data/apron-0.9.10/mlgmpidl/gmp_caml.c:                                                                           C source, ASCII text
data/apron-0.9.10/mlgmpidl/mpq.mli:                                                                              ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mlgmpidl.tex:                                                                         LaTeX 2e document, ASCII text
data/apron-0.9.10/mlgmpidl/mpf_caml.c:                                                                           C source, ASCII text
data/apron-0.9.10/mlgmpidl/mpfrf.mli:                                                                            ASCII text
data/apron-0.9.10/mlgmpidl/mpfr.idl:                                                                             C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/mpz.ml:                                                                               ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/Changes:                                                                              ASCII text
data/apron-0.9.10/mlgmpidl/mpz_caml.c:                                                                           C source, ASCII text
data/apron-0.9.10/mlgmpidl/mpz.idl:                                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/sedscript_c:                                                                          ASCII text
data/apron-0.9.10/mlgmpidl/README:                                                                               ASCII text
data/apron-0.9.10/mlgmpidl/mpq.idl:                                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpfr.ml:                                                                          ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpf.ml:                                                                           ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpf.idl:                                                                          C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpfr_stubs.c:                                                                     C source, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/mpq.ml:                                                                           ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpf.mli:                                                                          ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpz.mli:                                                                          ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpf_stubs.c:                                                                      C source, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/mpfr.mli:                                                                         ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpz_stubs.c:                                                                      C source, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/mpq.mli:                                                                          ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpfr.idl:                                                                         C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpz.ml:                                                                           ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpz.idl:                                                                          C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpq.idl:                                                                          C source, ASCII text, with very long lines
data/apron-0.9.10/mlgmpidl/tmp/mpq_stubs.c:                                                                      C source, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/gmp_random.idl:                                                                   C source, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/gmp_random.ml:                                                                    Ruby script, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/gmp_random.mli:                                                                   Ruby script, ASCII text
data/apron-0.9.10/mlgmpidl/tmp/gmp_random_stubs.c:                                                               C source, ASCII text
data/apron-0.9.10/mlgmpidl/sedscript_caml:                                                                       ASCII text
data/apron-0.9.10/mlgmpidl/Makefile:                                                                             makefile script, ASCII text
data/apron-0.9.10/mlgmpidl/gmp_random.idl:                                                                       C source, ASCII text
data/apron-0.9.10/mlgmpidl/gmp_random.ml:                                                                        Ruby script, ASCII text
data/apron-0.9.10/mlgmpidl/gmp_random.mli:                                                                       Ruby script, ASCII text
data/apron-0.9.10/mlgmpidl/gmp_random_caml.c:                                                                    C source, ASCII text
data/apron-0.9.10/mlgmpidl/gmp_caml.h:                                                                           C source, ASCII text
data/apron-0.9.10/Makefile.config.model:                                                                         makefile script, ASCII text
data/apron-0.9.10/Makefile:                                                                                      makefile script, ASCII text
data/apron-0.9.10/README.mac:                                                                                    ASCII text
data/apron-0.9.10/apron/README.windows:                                                                          ASCII text
data/apron-0.9.10/apron/octagons/oct_internal.h:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/testall.sh:                                                                     Bourne-Again shell script, ASCII text executable
data/apron-0.9.10/apron/octagons/oct_caml.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_nary.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/octagons/mltest.ml:                                                                      ASCII text
data/apron-0.9.10/apron/octagons/oct.mli:                                                                        Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/COPYING:                                                                        ASCII text
data/apron-0.9.10/apron/octagons/oct.h:                                                                          C source, ASCII text
data/apron-0.9.10/apron/octagons/oct.idl:                                                                        Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/oct_transfer.c:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_predicate.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_doc.html:                                                                   HTML document, ASCII text
data/apron-0.9.10/apron/octagons/oct_print.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_hmat.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/octagons/oct.ml:                                                                         Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/oct_closure.c:                                                                  C source, ASCII text
data/apron-0.9.10/apron/octagons/mlexample.ml:                                                                   ASCII text
data/apron-0.9.10/apron/octagons/oct_fun.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_resize.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/octagons/sedscript_c:                                                                    ASCII text
data/apron-0.9.10/apron/octagons/README:                                                                         ASCII text
data/apron-0.9.10/apron/octagons/tmp/interval.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/lincons0.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/scalar.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/abstract0.idl:                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/apron/octagons/tmp/texpr0.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/oct.mli:                                                                    Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/tmp/oct_stubs.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/oct.idl:                                                                    Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/tmp/dim.idl:                                                                    C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/manager.idl:                                                                C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/generator0.idl:                                                             C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/coeff.idl:                                                                  C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/oct.ml:                                                                     Ruby script, ASCII text
data/apron-0.9.10/apron/octagons/tmp/linexpr0.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/var.idl:                                                                    C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/tcons0.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/mpz.idl:                                                                    C source, ASCII text, with very long lines
data/apron-0.9.10/apron/octagons/tmp/mpq.idl:                                                                    C source, ASCII text, with very long lines
data/apron-0.9.10/apron/octagons/tmp/abstract1.idl:                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/apron/octagons/tmp/environment.idl:                                                            C source, ASCII text, with very long lines
data/apron-0.9.10/apron/octagons/tmp/generator1.idl:                                                             C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/lincons1.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/linexpr1.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/tcons1.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/tmp/texpr1.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/octagons/oct_representation.c:                                                           C source, ASCII text
data/apron-0.9.10/apron/octagons/sedscript_caml:                                                                 ASCII text
data/apron-0.9.10/apron/octagons/oct_test.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/octagons/Makefile:                                                                       makefile script, ASCII text, with very long lines
data/apron-0.9.10/apron/box/box_representation.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/box/box_internal.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/box_meetjoin.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/box_resize.c:                                                                        C source, ASCII text
data/apron-0.9.10/apron/box/box_otherops.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/box.texi:                                                                            C source, ASCII text
data/apron-0.9.10/apron/box/COPYING:                                                                             ASCII text
data/apron-0.9.10/apron/box/box.ml:                                                                              Ruby script, ASCII text
data/apron-0.9.10/apron/box/box_meetjoin.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/box_constructor.h:                                                                   C source, ASCII text
data/apron-0.9.10/apron/box/box.h:                                                                               C source, ASCII text
data/apron-0.9.10/apron/box/box_constructor.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/box/box_assign.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/box/box_assign.c:                                                                        C source, ASCII text
data/apron-0.9.10/apron/box/box_resize.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/box/box_representation.h:                                                                C source, ASCII text
data/apron-0.9.10/apron/box/box.mli:                                                                             Ruby script, ASCII text
data/apron-0.9.10/apron/box/box_internal.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/mlexample.ml:                                                                        ASCII text
data/apron-0.9.10/apron/box/box_otherops.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/box/box.idl:                                                                             Ruby script, ASCII text
data/apron-0.9.10/apron/box/box_caml.c:                                                                          C source, ASCII text
data/apron-0.9.10/apron/box/README:                                                                              ASCII text
data/apron-0.9.10/apron/box/box_config.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/box/tmp/box.ml:                                                                          Ruby script, ASCII text
data/apron-0.9.10/apron/box/tmp/box.mli:                                                                         Ruby script, ASCII text
data/apron-0.9.10/apron/box/tmp/box.idl:                                                                         Ruby script, ASCII text
data/apron-0.9.10/apron/box/tmp/box_stubs.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/box/sedscript_caml:                                                                      ASCII text
data/apron-0.9.10/apron/box/Makefile:                                                                            makefile script, ASCII text
data/apron-0.9.10/apron/test/ctest1.c:                                                                           C source, ASCII text
data/apron-0.9.10/apron/test/COPYING:                                                                            ISO-8859 text
data/apron-0.9.10/apron/test/mlexample0.ml:                                                                      ASCII text
data/apron-0.9.10/apron/test/Makefile:                                                                           makefile script, ASCII text
data/apron-0.9.10/apron/test/README:                                                                             ASCII text
data/apron-0.9.10/apron/itv/test2.c:                                                                             C source, ASCII text
data/apron-0.9.10/apron/itv/test.c:                                                                              C source, ASCII text
data/apron-0.9.10/apron/itv/itv_fun.h:                                                                           C source, ASCII text
data/apron-0.9.10/apron/itv/itv_linexpr.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/itv/COPYING:                                                                             ISO-8859 text
data/apron-0.9.10/apron/itv/itv_linearize.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/itv/Makefile:                                                                            makefile script, ASCII text
data/apron-0.9.10/apron/itv/itv_linexpr.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/itv/itv_config.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/itv/itv_linearize.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/itv/itv.h:                                                                               C source, ASCII text
data/apron-0.9.10/apron/itv/itv.c:                                                                               C source, ASCII text
data/apron-0.9.10/apron/itv/README:                                                                              ASCII text
data/apron-0.9.10/apron/mlapronidl/interval.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/parser.mli:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons1_caml.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/dim.ml:                                                                       ASCII text
data/apron-0.9.10/apron/mlapronidl/generator1.ml:                                                                ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr0_caml.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons0_caml.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/manager_caml.c:                                                               C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons0.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr0.mli:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/scalar.idl:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/abstract0.idl:                                                                C source, ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/texpr0.idl:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/dim.mli:                                                                      ASCII text
data/apron-0.9.10/apron/mlapronidl/manager.mli:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/scalar_caml.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr0.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/mlapronidl.odoc:                                                              ASCII text
data/apron-0.9.10/apron/mlapronidl/apron_parser.mly:                                                             LaTeX document, ASCII text
data/apron-0.9.10/apron/mlapronidl/apron_caml.c:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr1.ml:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/macros.m4:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/scalar.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/abstract1.ml:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/apron_lexer.mll:                                                              ASCII text
data/apron-0.9.10/apron/mlapronidl/COPYING:                                                                      ASCII text
data/apron-0.9.10/apron/mlapronidl/abstract1_caml.c:                                                             C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/apron_lexer.mli:                                                              ASCII text
data/apron-0.9.10/apron/mlapronidl/coeff_caml.c:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr0_caml.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/introduction.mli:                                                             ASCII text
data/apron-0.9.10/apron/mlapronidl/coeff.mli:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr0.ml:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/dim_caml.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/dim.idl:                                                                      C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/var.mli:                                                                      ASCII text
data/apron-0.9.10/apron/mlapronidl/parser.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/manager.idl:                                                                  C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/interval.ml:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/generator0.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/coeff.idl:                                                                    C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons0_caml.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/environment_caml.c:                                                           C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/scalar.mli:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/generator1_caml.c:                                                            C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons0.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/interval.mli:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons1.ml:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr1_caml.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/generator0_caml.c:                                                            C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr0.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr1_caml.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/generator0.ml:                                                                ASCII text
data/apron-0.9.10/apron/mlapronidl/coeff.ml:                                                                     ASCII text
data/apron-0.9.10/apron/mlapronidl/var.idl:                                                                      C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/apron_caml.h:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons0.mli:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/generator0.mli:                                                               ASCII text
data/apron-0.9.10/apron/mlapronidl/mlapronidl.tex:                                                               LaTeX 2e document, ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr1.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons1.ml:                                                                    ASCII text
data/apron-0.9.10/apron/mlapronidl/abstract0_caml.c:                                                             C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons0.idl:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/var_caml.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/var.ml:                                                                       ASCII text
data/apron-0.9.10/apron/mlapronidl/interval_caml.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons0.mli:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr0.mli:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/abstract0.mli:                                                                ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/abstract0.ml:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/sedscript_c:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/README:                                                                       ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons0.ml:                                                                  ASCII text
data/apron-0.9.10/apron/mlapronidl/environment.ml:                                                               ASCII text
data/apron-0.9.10/apron/mlapronidl/sedscript_caml:                                                               ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons1_caml.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/manager.ml:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/Makefile:                                                                     makefile script, ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/abstract1.idl:                                                                C source, ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/abstract1.mli:                                                                ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/environment.idl:                                                              C source, ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/environment.mli:                                                              ASCII text, with very long lines
data/apron-0.9.10/apron/mlapronidl/generator1.idl:                                                               C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/generator1.mli:                                                               ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons1.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/lincons1.mli:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr1.idl:                                                                 C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/linexpr1.mli:                                                                 ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons1.idl:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/tcons1.mli:                                                                   ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr1.idl:                                                                   C source, ASCII text
data/apron-0.9.10/apron/mlapronidl/texpr1.mli:                                                                   ASCII text
data/apron-0.9.10/apron/COPYING:                                                                                 ASCII text
data/apron-0.9.10/apron/AUTHORS:                                                                                 ASCII text
data/apron-0.9.10/apron/ppl/ppl.ml:                                                                              Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/ppl.mli:                                                                             Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/ppl_poly.hh:                                                                         C++ source, ASCII text
data/apron-0.9.10/apron/ppl/ppl_test.c:                                                                          C source, ASCII text
data/apron-0.9.10/apron/ppl/ap_ppl.h:                                                                            C source, ASCII text
data/apron-0.9.10/apron/ppl/COPYING:                                                                             ASCII text
data/apron-0.9.10/apron/ppl/ppl_user.hh:                                                                         C++ source, ASCII text
data/apron-0.9.10/apron/ppl/ppl.patch:                                                                           unified diff output, ASCII text
data/apron-0.9.10/apron/ppl/ppl_poly.cc:                                                                         C++ source, ASCII text
data/apron-0.9.10/apron/ppl/ppl_grid.h:                                                                          C source, ASCII text
data/apron-0.9.10/apron/ppl/ppl_grid.cc:                                                                         C++ source, ASCII text
data/apron-0.9.10/apron/ppl/ap_ppl.texi:                                                                         C source, ASCII text
data/apron-0.9.10/apron/ppl/mlexample.ml:                                                                        ASCII text
data/apron-0.9.10/apron/ppl/ap_ppl_caml.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/ppl/README:                                                                              ASCII text
data/apron-0.9.10/apron/ppl/ppl_grid.hh:                                                                         C++ source, ASCII text
data/apron-0.9.10/apron/ppl/tmp/ppl.ml:                                                                          Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/tmp/ppl.mli:                                                                         Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/tmp/ppl_stubs.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/ppl/tmp/ppl.idl:                                                                         Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/sedscript_caml:                                                                      ASCII text
data/apron-0.9.10/apron/ppl/ppl.idl:                                                                             Ruby script, ASCII text
data/apron-0.9.10/apron/ppl/Makefile:                                                                            makefile script, ASCII text
data/apron-0.9.10/apron/ppl/ppl_user.cc:                                                                         C source, ASCII text
data/apron-0.9.10/apron/index.tex:                                                                               LaTeX 2e document, ASCII text, with very long lines
data/apron-0.9.10/apron/Makefile.config.model:                                                                   makefile script, ASCII text
data/apron-0.9.10/apron/Makefile:                                                                                makefile script, ASCII text
data/apron-0.9.10/apron/products/polkaGrid_caml.c:                                                               C source, ASCII text
data/apron-0.9.10/apron/products/polkaGrid.ml:                                                                   Ruby script, ASCII text
data/apron-0.9.10/apron/products/COPYING:                                                                        ASCII text
data/apron-0.9.10/apron/products/polkaGrid.idl:                                                                  Ruby script, ASCII text
data/apron-0.9.10/apron/products/ap_pkgrid.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/products/ap_pkgrid.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/products/polkaGrid.mli:                                                                  Ruby script, ASCII text
data/apron-0.9.10/apron/products/mlexample.ml:                                                                   ASCII text
data/apron-0.9.10/apron/products/README:                                                                         ASCII text
data/apron-0.9.10/apron/products/tmp/polkaGrid.ml:                                                               Ruby script, ASCII text
data/apron-0.9.10/apron/products/tmp/polkaGrid.idl:                                                              Ruby script, ASCII text
data/apron-0.9.10/apron/products/tmp/polkaGrid.mli:                                                              Ruby script, ASCII text
data/apron-0.9.10/apron/products/tmp/polkaGrid_stubs.c:                                                          C source, ASCII text
data/apron-0.9.10/apron/products/ap_pkgrid.texi:                                                                 C source, ASCII text
data/apron-0.9.10/apron/products/sedscript_caml:                                                                 ASCII text
data/apron-0.9.10/apron/products/Makefile:                                                                       makefile script, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_generator1_inline.hh:                                                       ASCII text
data/apron-0.9.10/apron/apronxx/apxx_interval_inline.hh:                                                         ASCII text
data/apron-0.9.10/apron/apronxx/apxx_abstract1_inline.hh:                                                        ASCII text
data/apron-0.9.10/apron/apronxx/apxx_lincons1.hh:                                                                C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_var_inline.hh:                                                              C source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_abstract0.hh:                                                               C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/doc/Doxyfile:                                                                    ASCII text
data/apron-0.9.10/apron/apronxx/apxx_expr1.hh:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_dimension_inline.hh:                                                        C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_lincons0_inline.hh:                                                         ASCII text
data/apron-0.9.10/apron/apronxx/apxx_manager_inline.hh:                                                          ASCII text
data/apron-0.9.10/apron/apronxx/apxx_lincons0.hh:                                                                C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_abstract0_inline.hh:                                                        ASCII text
data/apron-0.9.10/apron/apronxx/apxx_tcons1_inline.hh:                                                           ASCII text
data/apron-0.9.10/apron/apronxx/apxx_texpr0_inline.hh:                                                           ASCII text
data/apron-0.9.10/apron/apronxx/apxx_ppl.hh:                                                                     C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_oct.hh:                                                                     C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_polka_inline.hh:                                                            ASCII text
data/apron-0.9.10/apron/apronxx/COPYING.LGPL:                                                                    ASCII text
data/apron-0.9.10/apron/apronxx/apxx_expr0.hh:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_generator0.hh:                                                              C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_manager.hh:                                                                 C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_var.hh:                                                                     C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_box.hh:                                                                     C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apronxx.hh:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_abstract1.hh:                                                               C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_texpr1_inline.hh:                                                           C source, ASCII text
data/apron-0.9.10/apron/apronxx/Makefile:                                                                        makefile script, ASCII text
data/apron-0.9.10/apron/apronxx/COPYING.GPL:                                                                     ASCII text
data/apron-0.9.10/apron/apronxx/apxx_scalar_inline.hh:                                                           C source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_linexpr1.hh:                                                                C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apronxx_test.cc:                                                                 C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_generator1.hh:                                                              C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_lincons1_inline.hh:                                                         ASCII text
data/apron-0.9.10/apron/apronxx/apxx_ppl_product_inline.hh:                                                      ASCII text
data/apron-0.9.10/apron/apronxx/apronxx_test_result.txt:                                                         ASCII text, with very long lines
data/apron-0.9.10/apron/apronxx/apxx_interval.hh:                                                                C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_linexpr0.hh:                                                                C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_environment.hh:                                                             C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_environment_inline.hh:                                                      ASCII text
data/apron-0.9.10/apron/apronxx/apxx_box_inline.hh:                                                              ASCII text
data/apron-0.9.10/apron/apronxx/apxx_ppl_product.hh:                                                             C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_generator0_inline.hh:                                                       ASCII text
data/apron-0.9.10/apron/apronxx/apxx_linexpr0_inline.hh:                                                         ASCII text
data/apron-0.9.10/apron/apronxx/apxx_linexpr1_inline.hh:                                                         ASCII text
data/apron-0.9.10/apron/apronxx/apxx_polka.hh:                                                                   C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_scalar.hh:                                                                  C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_oct_inline.hh:                                                              ASCII text
data/apron-0.9.10/apron/apronxx/apxx_tcons1.hh:                                                                  C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_ppl_inline.hh:                                                              ASCII text
data/apron-0.9.10/apron/apronxx/apxx_coeff_inline.hh:                                                            ASCII text
data/apron-0.9.10/apron/apronxx/apronxx.cc:                                                                      C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_texpr0.hh:                                                                  C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_coeff.hh:                                                                   C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_tcons0.hh:                                                                  C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/README:                                                                          C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_tcons0_inline.hh:                                                           ASCII text
data/apron-0.9.10/apron/apronxx/apxx_dimension.hh:                                                               C++ source, ASCII text
data/apron-0.9.10/apron/apronxx/apxx_texpr1.hh:                                                                  C++ source, ASCII text
data/apron-0.9.10/apron/newpolka/pk.h:                                                                           C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_closure.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_assign.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pkeq.h:                                                                         C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_user.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_cherni.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/test_environment.c:                                                             C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_bit.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_config.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_project.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_resize.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_resize.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/test.c:                                                                         C source, ISO-8859 text
data/apron-0.9.10/apron/newpolka/pk_matrix.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/polka.ml:                                                                       Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/test1.c:                                                                        C source, ISO-8859 text
data/apron-0.9.10/apron/newpolka/pk_vector.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_meetjoin.h:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_constructor.h:                                                               C source, ASCII text
data/apron-0.9.10/apron/newpolka/COPYING:                                                                        ASCII text
data/apron-0.9.10/apron/newpolka/test.ml:                                                                        ISO-8859 text
data/apron-0.9.10/apron/newpolka/pk_test.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_meetjoin.c:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/polka_caml.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_extract.h:                                                                   C source, ASCII text
data/apron-0.9.10/apron/newpolka/pkeq.c:                                                                         C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_widening.c:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_matrix.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_vector.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_approximate.c:                                                               C source, ASCII text
data/apron-0.9.10/apron/newpolka/polka.idl:                                                                      Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/pk_test.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_assign.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_bit.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_representation.c:                                                            C source, ASCII text
data/apron-0.9.10/apron/newpolka/mf_qsort.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_internal.c:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_representation.h:                                                            C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_internal.h:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_satmat.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/mlexample.ml:                                                                   ASCII text
data/apron-0.9.10/apron/newpolka/pk_user.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_constructor.c:                                                               C source, ASCII text
data/apron-0.9.10/apron/newpolka/pk_extract.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/newpolka/test0.c:                                                                        C source, ISO-8859 text
data/apron-0.9.10/apron/newpolka/pk_expandfold.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/newpolka/newpolka.texi:                                                                  C source, ASCII text
data/apron-0.9.10/apron/newpolka/README:                                                                         ASCII text
data/apron-0.9.10/apron/newpolka/pk_satmat.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/polka.mli:                                                                      Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/tmp/polka.ml:                                                                   Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/tmp/polka.idl:                                                                  Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/tmp/polka_stubs.c:                                                              C source, ASCII text
data/apron-0.9.10/apron/newpolka/tmp/polka.mli:                                                                  Ruby script, ASCII text
data/apron-0.9.10/apron/newpolka/sedscript_caml:                                                                 ASCII text
data/apron-0.9.10/apron/newpolka/pk_cherni.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/newpolka/mf_qsort.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/newpolka/Makefile:                                                                       makefile script, ASCII text
data/apron-0.9.10/apron/README.mac:                                                                              ASCII text
data/apron-0.9.10/apron/examples/mlexample3.ml:                                                                  ASCII text
data/apron-0.9.10/apron/examples/example1.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/examples/Makefile:                                                                       makefile script, ASCII text
data/apron-0.9.10/apron/examples/mlexample2.ml:                                                                  ASCII text
data/apron-0.9.10/apron/examples/mlexample1.ml:                                                                  ASCII text
data/apron-0.9.10/apron/examples/README:                                                                         ASCII text
data/apron-0.9.10/apron/Changes:                                                                                 ISO-8859 text
data/apron-0.9.10/apron/apron/ap_reducedproduct.h:                                                               C source, ASCII text
data/apron-0.9.10/apron/apron/ap_interval.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_tcons1.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/apronrationale.tex:                                                                LaTeX 2e document, ISO-8859 text
data/apron-0.9.10/apron/apron/ap_environment.h:                                                                  C source, ASCII text
data/apron-0.9.10/apron/apron/rationale.texi:                                                                    ASCII text
data/apron-0.9.10/apron/apron/ap_global0.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/ap_generic.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/ap_interval.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_var.h:                                                                          C source, ASCII text
data/apron-0.9.10/apron/apron/lgpl.texi:                                                                         ASCII text
data/apron-0.9.10/apron/apron/ap_scalar.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_reducedproduct.c:                                                               C source, ASCII text
data/apron-0.9.10/apron/apron/ap_generic.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/ap_lincons0.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_manager.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/COPYING:                                                                           ASCII text
data/apron-0.9.10/apron/apron/ap_dimension.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/apron.texi:                                                                        TeX document, ASCII text
data/apron-0.9.10/apron/apron/ap_generator0.h:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apron/ap_coeff.c:                                                                        C source, ASCII text
data/apron-0.9.10/apron/apron/ap_tcons0.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_texpr0.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linearize_aux.c:                                                                C source, ASCII text
data/apron-0.9.10/apron/apron/ap_scalar.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_generator1.h:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linexpr1.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/test_texpr0.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_global1.h:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linearize.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_expr1.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/apron/ap_abstract0.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_texpr0.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linearize_aux.h:                                                                C source, ASCII text
data/apron-0.9.10/apron/apron/ap_lincons0.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_lincons1.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linexpr0.c:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_environment.c:                                                                  C source, ASCII text
data/apron-0.9.10/apron/apron/ap_lincons1.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_abstract0.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_tcons0.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_var.c:                                                                          C source, ASCII text
data/apron-0.9.10/apron/apron/ap_dimension.c:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linexpr0.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_manager.c:                                                                      C source, ASCII text
data/apron-0.9.10/apron/apron/ap_texpr1.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_coeff.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/apron/ap_tcons1.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_expr0.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/apron/README:                                                                            ASCII text
data/apron-0.9.10/apron/apron/ap_linexpr1.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/apron/ap_linearize.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_generator0.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apron/ap_generator1.c:                                                                   C source, ASCII text
data/apron-0.9.10/apron/apron/ap_abstract1.h:                                                                    C source, ASCII text
data/apron-0.9.10/apron/apron/ap_texpr1.c:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/Makefile:                                                                          makefile script, ASCII text
data/apron-0.9.10/apron/apron/ap_config.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/apron/ap_abstract1.c:                                                                    C source, ISO-8859 text
data/apron-0.9.10/apron/num/bound.h:                                                                             C source, ASCII text
data/apron-0.9.10/apron/num/essai.c:                                                                             C source, ASCII text
data/apron-0.9.10/apron/num/numrat_mpq.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/test.c:                                                                              C source, ASCII text
data/apron-0.9.10/apron/num/numint_mpz.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/numint.h:                                                                            C source, ASCII text
data/apron-0.9.10/apron/num/num_name.h:                                                                          ASCII text
data/apron-0.9.10/apron/num/num_config.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/numflt_mpfr.h:                                                                       C source, ASCII text
data/apron-0.9.10/apron/num/bound_def.h:                                                                         C source, ASCII text
data/apron-0.9.10/apron/num/num.h:                                                                               C source, ASCII text
data/apron-0.9.10/apron/num/numint_native.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/num/Makefile:                                                                            makefile script, ASCII text
data/apron-0.9.10/apron/num/num_numflt.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/numflt.h:                                                                            C source, ASCII text
data/apron-0.9.10/apron/num/num_numint.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/numrat.h:                                                                            C source, ASCII text
data/apron-0.9.10/apron/num/README:                                                                              ISO-8859 text
data/apron-0.9.10/apron/num/numrat_native.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/num/num_numrat.h:                                                                        C source, ASCII text
data/apron-0.9.10/apron/num/numflt_native.h:                                                                     C source, ASCII text
data/apron-0.9.10/apron/README:                                                                                  ASCII text
data/apron-0.9.10/README:                                                                                        ASCII text
data/apron-0.9.10/debian/Makefile.config:                                                                        makefile script, ASCII text
data/apron-0.9.10/debian/README.source:                                                                          ASCII text
data/apron-0.9.10/debian/changelog:                                                                              UTF-8 Unicode text
data/apron-0.9.10/debian/clean:                                                                                  ASCII text
data/apron-0.9.10/debian/compat:                                                                                 ASCII text
data/apron-0.9.10/debian/control:                                                                                ASCII text
data/apron-0.9.10/debian/copyright:                                                                              UTF-8 Unicode text
data/apron-0.9.10/debian/gbp.conf:                                                                               ASCII text
data/apron-0.9.10/debian/libapron-dev.dirs:                                                                      ASCII text
data/apron-0.9.10/debian/libapron-dev.doc-base:                                                                  ASCII text
data/apron-0.9.10/debian/libapron-dev.docs:                                                                      ASCII text
data/apron-0.9.10/debian/libapron-dev.examples:                                                                  ASCII text
data/apron-0.9.10/debian/libapron-dev.install:                                                                   ASCII text
data/apron-0.9.10/debian/libapron-ocaml-dev.dirs:                                                                ASCII text
data/apron-0.9.10/debian/libapron-ocaml-dev.doc-base:                                                            ASCII text
data/apron-0.9.10/debian/libapron-ocaml-dev.docs:                                                                ASCII text
data/apron-0.9.10/debian/libapron-ocaml-dev.examples:                                                            ASCII text
data/apron-0.9.10/debian/libapron-ocaml-dev.install:                                                             ASCII text
data/apron-0.9.10/debian/libapron-ocaml.dirs:                                                                    ASCII text
data/apron-0.9.10/debian/libapron-ocaml.docs:                                                                    ASCII text
data/apron-0.9.10/debian/libapron-ocaml.install:                                                                 ASCII text
data/apron-0.9.10/debian/libapron.dirs:                                                                          ASCII text
data/apron-0.9.10/debian/libapron.docs:                                                                          ASCII text
data/apron-0.9.10/debian/libapron.install:                                                                       ASCII text
data/apron-0.9.10/debian/libapron.lintian-overrides:                                                             ASCII text
data/apron-0.9.10/debian/patches/0001-Remove-rpaths.patch:                                                       unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0002-Add-sonames.patch:                                                         unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch:                unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0004-Patch-in-order-to-resolve-symbols.patch:                                   unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0005-Install-oct-.a.patch:                                                      unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0006-Remove-references-to-obsolete-mpfr_random.patch:                           unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0007-Fix-rounding-mode-check-in-assert.patch:                                   unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0008-Fix-build-failure-with-ppl-1.0.patch:                                      unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0009-Don-t-define-strdup.patch:                                                 unified diff output, ASCII text
data/apron-0.9.10/debian/patches/0010-Fix-typos.patch:                                                           unified diff output, ASCII text, with very long lines
data/apron-0.9.10/debian/patches/series:                                                                         ASCII text
data/apron-0.9.10/debian/rules:                                                                                  a /usr/bin/make -f script, ASCII text executable
data/apron-0.9.10/debian/source/format:                                                                          ASCII text
data/apron-0.9.10/debian/watch:                                                                                  ASCII text
data/apron-0.9.10/.pc/.version:                                                                                  ASCII text
data/apron-0.9.10/.pc/.quilt_patches:                                                                            ASCII text
data/apron-0.9.10/.pc/.quilt_series:                                                                             ASCII text
data/apron-0.9.10/.pc/applied-patches:                                                                           ASCII text
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/box/Makefile:                                               makefile script, ASCII text
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/mlapronidl/Makefile:                                        makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/newpolka/Makefile:                                          makefile script, ASCII text
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/octagons/Makefile:                                          makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/ppl/Makefile:                                               makefile script, ASCII text
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/apron/products/Makefile:                                          makefile script, ASCII text
data/apron-0.9.10/.pc/0001-Remove-rpaths.patch/mlgmpidl/Makefile:                                                makefile script, ASCII text
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/apron/Makefile:                                               makefile script, ASCII text
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/box/Makefile:                                                 makefile script, ASCII text
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/newpolka/Makefile:                                            makefile script, ASCII text
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/octagons/Makefile:                                            makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/ppl/Makefile:                                                 makefile script, ASCII text
data/apron-0.9.10/.pc/0002-Add-sonames.patch/apron/products/Makefile:                                            makefile script, ASCII text
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/box/Makefile:        makefile script, ASCII text
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/mlapronidl/Makefile: makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/newpolka/Makefile:   makefile script, ASCII text
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/octagons/Makefile:   makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/ppl/Makefile:        makefile script, ASCII text
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/apron/products/Makefile:   makefile script, ASCII text
data/apron-0.9.10/.pc/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch/mlgmpidl/Makefile:         makefile script, ASCII text
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/apron/Makefile:                         makefile script, ASCII text
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/box/Makefile:                           makefile script, ASCII text
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/newpolka/Makefile:                      makefile script, ASCII text
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/octagons/Makefile:                      makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/ppl/Makefile:                           makefile script, ASCII text
data/apron-0.9.10/.pc/0004-Patch-in-order-to-resolve-symbols.patch/apron/products/Makefile:                      makefile script, ASCII text
data/apron-0.9.10/.pc/0005-Install-oct-.a.patch/apron/octagons/Makefile:                                         makefile script, ASCII text, with very long lines
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/gmp_random.idl:              C source, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/gmp_random.ml:               Ruby script, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/gmp_random.mli:              Ruby script, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/gmp_random_caml.c:           C source, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/tmp/gmp_random.idl:          C source, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/tmp/gmp_random.ml:           Ruby script, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/tmp/gmp_random.mli:          Ruby script, ASCII text
data/apron-0.9.10/.pc/0006-Remove-references-to-obsolete-mpfr_random.patch/mlgmpidl/tmp/gmp_random_stubs.c:      C source, ASCII text
data/apron-0.9.10/.pc/0007-Fix-rounding-mode-check-in-assert.patch/mlgmpidl/gmp_caml.h:                          C source, ASCII text
data/apron-0.9.10/.pc/0008-Fix-build-failure-with-ppl-1.0.patch/apron/ppl/ppl_user.cc:                           C source, ASCII text
data/apron-0.9.10/.pc/0009-Don-t-define-strdup.patch/apron/apron/ap_config.h:                                    C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/apron/ap_abstract1.c:                                           C source, ISO-8859 text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.idl:                                       C source, ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/abstract1.mli:                                       ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/environment.idl:                                     C source, ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/environment.mli:                                     ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.idl:                                      C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/generator1.mli:                                      ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.idl:                                        C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/lincons1.mli:                                        ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/linexpr1.idl:                                        C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/linexpr1.mli:                                        ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.idl:                                          C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/tcons1.mli:                                          ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/texpr1.idl:                                          C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/mlapronidl/texpr1.mli:                                          ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/abstract1.idl:                                     C source, ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/environment.idl:                                   C source, ASCII text, with very long lines
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/generator1.idl:                                    C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/lincons1.idl:                                      C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/linexpr1.idl:                                      C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/tcons1.idl:                                        C source, ASCII text
data/apron-0.9.10/.pc/0010-Fix-typos.patch/apron/octagons/tmp/texpr1.idl:                                        C source, ASCII text