data/coinst-1.9.3/solver.mli: UTF-8 Unicode text data/coinst-1.9.3/common.mli: UTF-8 Unicode text data/coinst-1.9.3/BUGS.txt: ASCII text data/coinst-1.9.3/README.md: ASCII text data/coinst-1.9.3/transition.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/conflicts.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/layout.ml: UTF-8 Unicode text data/coinst-1.9.3/graph.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/rpm_lib.ml: UTF-8 Unicode text data/coinst-1.9.3/update_data.mli: UTF-8 Unicode text data/coinst-1.9.3/quotient.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/debug.mli: UTF-8 Unicode text data/coinst-1.9.3/upgrade.mli: ASCII text data/coinst-1.9.3/cache.ml: UTF-8 Unicode text data/coinst-1.9.3/coinst.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/task_stubs.c: C source, ASCII text data/coinst-1.9.3/Makefile: makefile script, ASCII text data/coinst-1.9.3/upgrade_common.ml: UTF-8 Unicode text data/coinst-1.9.3/solver.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/cudf_lib.mli: UTF-8 Unicode text data/coinst-1.9.3/coinst_common.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/TODO.txt: ASCII text data/coinst-1.9.3/.boring: ASCII text data/coinst-1.9.3/upgrade.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/debug.ml: UTF-8 Unicode text data/coinst-1.9.3/cudf_lib.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/upgrade_common.mli: UTF-8 Unicode text data/coinst-1.9.3/bytearray.mli: ASCII text data/coinst-1.9.3/util.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/bytearray_stubs.c: C source, ASCII text data/coinst-1.9.3/horn.mli: UTF-8 Unicode text data/coinst-1.9.3/bytearray.ml: ASCII text data/coinst-1.9.3/cache.mli: UTF-8 Unicode text data/coinst-1.9.3/api.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/man/comigrate.1: troff or preprocessor input, UTF-8 Unicode text data/coinst-1.9.3/man/coinst-upgrades.1: troff or preprocessor input, UTF-8 Unicode text data/coinst-1.9.3/file.ml: UTF-8 Unicode text data/coinst-1.9.3/api.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/task.mli: UTF-8 Unicode text data/coinst-1.9.3/file.mli: UTF-8 Unicode text data/coinst-1.9.3/deb_lib.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.gitignore: ASCII text data/coinst-1.9.3/graph.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/layout.mli: Python script, ASCII text executable data/coinst-1.9.3/coinst_json.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/common.ml: UTF-8 Unicode text data/coinst-1.9.3/horn.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.depend: ASCII text data/coinst-1.9.3/coinst_common.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/coinst_json.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/COPYING: ASCII text data/coinst-1.9.3/CHANGES: ASCII text data/coinst-1.9.3/rpm_lib.mli: UTF-8 Unicode text data/coinst-1.9.3/Proofs/Lattice.v: ASCII text data/coinst-1.9.3/Proofs/Po.v: ASCII text data/coinst-1.9.3/Proofs/Makefile: makefile script, ASCII text data/coinst-1.9.3/Proofs/Relation.v: ASCII text data/coinst-1.9.3/Proofs/.depend: ASCII text data/coinst-1.9.3/Proofs/coinst.v: ASCII text data/coinst-1.9.3/viewer/dot_lexer.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene_json.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene_extents.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/viewer_common.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/viewer/svg.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_render.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene_extents.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene.js: ASCII text data/coinst-1.9.3/viewer/viewer_common.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_render.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_graph.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_parser.mly: UTF-8 Unicode text data/coinst-1.9.3/viewer/index.html: XML 1.0 document, ASCII text data/coinst-1.9.3/viewer/scene_svg.mli: ASCII text data/coinst-1.9.3/viewer/scene_svg.ml: ASCII text data/coinst-1.9.3/viewer/dot_file.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/main.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_lexer.mll: UTF-8 Unicode text data/coinst-1.9.3/viewer/.depend: ASCII text data/coinst-1.9.3/viewer/dot_file.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/viewer.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/viewer/viewer.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene_json.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/scene.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/dot_graph.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/viewer/scene.mli: UTF-8 Unicode text data/coinst-1.9.3/viewer/converter.ml: UTF-8 Unicode text data/coinst-1.9.3/viewer/Makefile: makefile script, ASCII text data/coinst-1.9.3/viewer/viewer_js.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/upgrade_main.ml: UTF-8 Unicode text data/coinst-1.9.3/quotient.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/debian/changelog: UTF-8 Unicode text data/coinst-1.9.3/debian/coinst-viewer.dirs: ASCII text data/coinst-1.9.3/debian/coinst-viewer.install: ASCII text data/coinst-1.9.3/debian/coinst-viewer.manpages: ASCII text data/coinst-1.9.3/debian/coinst.docs: ASCII text data/coinst-1.9.3/debian/coinst.examples: ASCII text data/coinst-1.9.3/debian/coinst.install.in: ASCII text data/coinst-1.9.3/debian/coinst.manpages: ASCII text data/coinst-1.9.3/debian/control: ASCII text data/coinst-1.9.3/debian/copyright: UTF-8 Unicode text data/coinst-1.9.3/debian/examples/README: ASCII text data/coinst-1.9.3/debian/examples/esec2011-figure2: ASCII text data/coinst-1.9.3/debian/gbp.conf: ASCII text data/coinst-1.9.3/debian/manpages/coinst.1: troff or preprocessor input, UTF-8 Unicode text data/coinst-1.9.3/debian/manpages/coinst_viewer.1: troff or preprocessor input, UTF-8 Unicode text data/coinst-1.9.3/debian/patches/0001-Fix-FTBFS-with-OCaml-4.08.1.patch: unified diff output, ASCII text data/coinst-1.9.3/debian/patches/0002-Port-to-modern-js_of_ocaml.patch: unified diff output, ASCII text data/coinst-1.9.3/debian/patches/0003-Update-britney-data-locations.patch: unified diff output, ASCII text data/coinst-1.9.3/debian/patches/series: ASCII text data/coinst-1.9.3/debian/rules: a /usr/bin/make -f script, ASCII text executable data/coinst-1.9.3/debian/source/format: ASCII text data/coinst-1.9.3/debian/watch: ASCII text data/coinst-1.9.3/.pc/.version: ASCII text data/coinst-1.9.3/.pc/.quilt_patches: ASCII text data/coinst-1.9.3/.pc/.quilt_series: ASCII text data/coinst-1.9.3/.pc/applied-patches: ASCII text data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/deb_lib.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/ptset.ml: Mathematica 3.0 notebook data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/ptset.mli: Mathematica 3.0 notebook data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/repository.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/repository.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/task.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0001-Fix-FTBFS-with-OCaml-4.08.1.patch/util.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0002-Port-to-modern-js_of_ocaml.patch/viewer/Makefile: makefile script, ASCII text data/coinst-1.9.3/.pc/0002-Port-to-modern-js_of_ocaml.patch/viewer/viewer_js.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/.pc/0003-Update-britney-data-locations.patch/update_data.ml: UTF-8 Unicode text data/coinst-1.9.3/deb_lib.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/ptset.ml: Mathematica 3.0 notebook data/coinst-1.9.3/ptset.mli: Mathematica 3.0 notebook data/coinst-1.9.3/repository.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/repository.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/task.ml: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/util.mli: Ruby script, UTF-8 Unicode text data/coinst-1.9.3/update_data.ml: UTF-8 Unicode text