data/erlang-proper-1.2+git988ea0ed9f+dfsg/.gitignore:                                   ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.plt/.gitignore:                              ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.travis.yml:                                  ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/COPYING:                                      ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/Makefile:                                     makefile script, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/README.md:                                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/THANKS:                                       UTF-8 Unicode text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/check_escripts.sh:                            POSIX shell script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/clean_doc.sh:                                 POSIX shell script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/clean_temp.sh:                                POSIX shell script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/configure:                                    POSIX shell script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/doc/overview.edoc:                            HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/ebin/.gitignore:                              ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/b64.erl:                             ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/elevator_fsm.erl:                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/ets_statem.erl:                      ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/mm.erl:                              ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/pdict_statem.erl:                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/examples/stack.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/include/proper.hrl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/include/proper_common.hrl:                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/include/proper_internal.hrl:                  ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/include/proper_param_adts.hrl:                ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/make_doc:                                     a /usr/bin/env escript script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/mix.exs:                                      Ruby script, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/rebar.cmd:                                    DOS batch file, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper.app.src:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper.erl:                               ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_arith.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_array.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_dict.erl:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_fsm.erl:                           HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_gb_sets.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_gb_trees.erl:                      ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_gen.erl:                           HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_orddict.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_ordsets.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_prop_remover.erl:                  ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_queue.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_sa.erl:                            ISO-8859 text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_sa_gen.erl:                        ISO-8859 text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_sets.erl:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_shrink.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_statem.erl:                        HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_symb.erl:                          HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_target.erl:                        ISO-8859 text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_transformer.erl:                   ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_types.erl:                         HTML document, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_typeserver.erl:                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_unicode.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/proper_unused_imports_remover.erl:        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/src/vararg.erl:                               ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/auto_export_test1.erl:                   ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/auto_export_test2.erl:                   ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/command_props.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/error_statem.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/ets_counter.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/ets_statem.erl:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/improper_lists_statem.erl:               ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/let_tests.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/no_native_parse_test.erl:                ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/nogen_statem.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/numbers_fsm.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/pdict_fsm.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/pdict_statem.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/perf_max_size.erl:                       ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/post_false.erl:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/prec_false.erl:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/proper_print.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/proper_specs_tests.erl:                  ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/proper_tests.erl:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/rec_props_test1.erl:                     ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/rec_props_test2.erl:                     ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/rec_test1.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/rec_test2.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/symb_statem.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/symb_statem_maps.erl:                    ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/target_tests.erl:                        UTF-8 Unicode text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/to_remove.erl:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/types_test1.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/types_test2.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/test/weird_types.erl:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/write_compile_flags:                          a /usr/bin/env escript script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/README.source:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/changelog:                             ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/compat:                                ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/control:                               ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/copyright:                             ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/dh-rebar.conf:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/erlang-proper-doc.docs:                ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/gbp.conf:                              ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/patches/fix_build_on_kfreebsd.patch:   unified diff output, ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/patches/series:                        ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/rules:                                 a /usr/bin/make -f script, ASCII text executable
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/source/format:                         ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/source/lintian-overrides:              ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/debian/watch:                                 ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.pc/.version:                                 ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.pc/.quilt_patches:                           ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.pc/.quilt_series:                            ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.pc/applied-patches:                          ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/.pc/fix_build_on_kfreebsd.patch/rebar.config: ASCII text
data/erlang-proper-1.2+git988ea0ed9f+dfsg/rebar.config:                                 ASCII text