Copyrights and Licenses Information
path start end what value
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch 83 83 license gpl-1.0-plus
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch 83 83 license gpl-1.0-plus
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch 120 121 license gpl-1.0-plus
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch 178 179 license gpl-1.0-plus
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch 207 208 license gpl-1.0-plus
erlang-proper/erlang-proper.spec 9 9 license gpl-3.0-plus
erlang-proper/proper-1.4/COPYING 1 674 license gpl-3.0
erlang-proper/proper-1.4/Makefile 7 18 license gpl-3.0-plus
erlang-proper/proper-1.4/README.md 31 31 license gpl-1.0-plus
erlang-proper/proper-1.4/README.md 31 31 license gpl-1.0-plus
erlang-proper/proper-1.4/rebar.config 11 22 license gpl-3.0-plus
erlang-proper/proper-1.4/doc/overview.edoc 7 18 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/b64.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/car.inc 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/car_fsm.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/car_statem.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/elevator_fsm.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/ets_statem.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/labyrinth.erl 8 19 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/magic.erl 7 18 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/mastermind.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/pdict_statem.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/examples/stack_adt.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/include/proper.hrl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/include/proper_common.hrl 11 22 license gpl-3.0-plus
erlang-proper/proper-1.4/include/proper_internal.hrl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/include/proper_param_adts.hrl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/scripts/check_escripts.sh 11 22 license gpl-3.0-plus
erlang-proper/proper-1.4/scripts/clean_doc.sh 11 22 license gpl-3.0-plus
erlang-proper/proper-1.4/scripts/clean_temp.sh 11 22 license gpl-3.0-plus
erlang-proper/proper-1.4/scripts/make_doc 12 23 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper.app.src 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_arith.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_array.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_dict.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 3 19 license agpl-3.0-plus OR apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 16 17 license apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 17 25 license apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 28 28 license apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 30 30 license apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 31 31 license apache-2.0
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl 33 34 license agpl-3.0-plus OR apache-2.0
erlang-proper/proper-1.4/src/proper_fsm.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_gb_sets.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_gb_trees.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_gen.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_gen_next.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_orddict.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_ordsets.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_prop_remover.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_queue.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_sa.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_sets.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_shrink.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_statem.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_symb.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_target.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_transformer.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_types.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_typeserver.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_unicode.erl 8 19 license gpl-3.0-plus
erlang-proper/proper-1.4/src/proper_unused_imports_remover.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/src/vararg.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/auto_export_test1.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/auto_export_test2.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/command_props.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 3 19 license gpl-3.0-plus
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 16 25 license apache-2.0
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 28 28 license apache-2.0
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 30 30 license apache-2.0
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 31 31 license apache-2.0
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 33 33 license gpl-1.0-plus
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl 34 34 license apache-2.0
erlang-proper/proper-1.4/test/error_statem.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/ets_counter.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/ets_statem_test.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/exists_tests.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/test/fun_tests.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/let_tests.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/more_commands_test.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/no_native_parse_test.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/nogen_statem.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/numbers_fsm.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/pdict_fsm.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/post_false.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/prec_false.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/proper_exported_types_test.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/proper_print.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/proper_specs_tests.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/proper_tests.erl 9 20 license gpl-3.0-plus
erlang-proper/proper-1.4/test/proper_tests.erl 414 414 license gpl-1.0-plus
erlang-proper/proper-1.4/test/rec_props_test1.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/rec_props_test2.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/rec_test1.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/rec_test2.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/shrinking_gotchas.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/symb_statem.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/symb_statem_maps.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/targeted_fsm.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/targeted_shrinking_test.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/targeted_statem.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/to_remove.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/types_test1.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/types_test2.erl 10 21 license gpl-3.0-plus
erlang-proper/proper-1.4/test/weird_types.erl 10 21 license gpl-3.0-plus
File Information
path type name extension date size sha1 md5 files_count mime_type file_type programming_language is_binary is_text is_archive is_media is_source is_script
erlang-proper directory
erlang-proper/erlang-proper-0001-Make-hex-docs-work-again-276.patch file
erlang-proper/erlang-proper-0002-Add-25.0-in-tested-OTP-versions-291.patch file
erlang-proper/erlang-proper-0003-Address-deprecation-warnings-in-OTP25-294.patch file
erlang-proper/erlang-proper.spec file
erlang-proper/proper-1.4-SPECPARTS directory
erlang-proper/proper-1.4.tar.gz file
erlang-proper/sources file
erlang-proper/proper-1.4 directory
erlang-proper/proper-1.4/.plt directory
erlang-proper/proper-1.4/COPYING file
erlang-proper/proper-1.4/Makefile file
erlang-proper/proper-1.4/README.md file
erlang-proper/proper-1.4/rebar.cmd file
erlang-proper/proper-1.4/rebar.config file
erlang-proper/proper-1.4/THANKS file
erlang-proper/proper-1.4/.github directory
erlang-proper/proper-1.4/.github/workflows directory
erlang-proper/proper-1.4/.github/workflows/ci.yml file
erlang-proper/proper-1.4/doc directory
erlang-proper/proper-1.4/doc/overview.edoc file
erlang-proper/proper-1.4/examples directory
erlang-proper/proper-1.4/examples/b64.erl file
erlang-proper/proper-1.4/examples/car.inc file
erlang-proper/proper-1.4/examples/car_fsm.erl file
erlang-proper/proper-1.4/examples/car_statem.erl file
erlang-proper/proper-1.4/examples/elevator_fsm.erl file
erlang-proper/proper-1.4/examples/ets_statem.erl file
erlang-proper/proper-1.4/examples/labyrinth.erl file
erlang-proper/proper-1.4/examples/magic.erl file
erlang-proper/proper-1.4/examples/mastermind.erl file
erlang-proper/proper-1.4/examples/pdict_statem.erl file
erlang-proper/proper-1.4/examples/stack_adt.erl file
erlang-proper/proper-1.4/include directory
erlang-proper/proper-1.4/include/proper.hrl file
erlang-proper/proper-1.4/include/proper_common.hrl file
erlang-proper/proper-1.4/include/proper_internal.hrl file
erlang-proper/proper-1.4/include/proper_param_adts.hrl file
erlang-proper/proper-1.4/scripts directory
erlang-proper/proper-1.4/scripts/check_escripts.sh file
erlang-proper/proper-1.4/scripts/clean_doc.sh file
erlang-proper/proper-1.4/scripts/clean_temp.sh file
erlang-proper/proper-1.4/scripts/make_doc file
erlang-proper/proper-1.4/src directory
erlang-proper/proper-1.4/src/proper.app.src file
erlang-proper/proper-1.4/src/proper.erl file
erlang-proper/proper-1.4/src/proper_arith.erl file
erlang-proper/proper-1.4/src/proper_array.erl file
erlang-proper/proper-1.4/src/proper_dict.erl file
erlang-proper/proper-1.4/src/proper_erlang_abstract_code.erl file
erlang-proper/proper-1.4/src/proper_fsm.erl file
erlang-proper/proper-1.4/src/proper_gb_sets.erl file
erlang-proper/proper-1.4/src/proper_gb_trees.erl file
erlang-proper/proper-1.4/src/proper_gen.erl file
erlang-proper/proper-1.4/src/proper_gen_next.erl file
erlang-proper/proper-1.4/src/proper_orddict.erl file
erlang-proper/proper-1.4/src/proper_ordsets.erl file
erlang-proper/proper-1.4/src/proper_prop_remover.erl file
erlang-proper/proper-1.4/src/proper_queue.erl file
erlang-proper/proper-1.4/src/proper_sa.erl file
erlang-proper/proper-1.4/src/proper_sets.erl file
erlang-proper/proper-1.4/src/proper_shrink.erl file
erlang-proper/proper-1.4/src/proper_statem.erl file
erlang-proper/proper-1.4/src/proper_symb.erl file
erlang-proper/proper-1.4/src/proper_target.erl file
erlang-proper/proper-1.4/src/proper_transformer.erl file
erlang-proper/proper-1.4/src/proper_types.erl file
erlang-proper/proper-1.4/src/proper_typeserver.erl file
erlang-proper/proper-1.4/src/proper_unicode.erl file
erlang-proper/proper-1.4/src/proper_unused_imports_remover.erl file
erlang-proper/proper-1.4/src/vararg.erl file
erlang-proper/proper-1.4/test directory
erlang-proper/proper-1.4/test/auto_export_test1.erl file
erlang-proper/proper-1.4/test/auto_export_test2.erl file
erlang-proper/proper-1.4/test/command_props.erl file
erlang-proper/proper-1.4/test/erlang_abstract_code_test.erl file
erlang-proper/proper-1.4/test/error_statem.erl file
erlang-proper/proper-1.4/test/ets_counter.erl file
erlang-proper/proper-1.4/test/ets_statem_test.erl file
erlang-proper/proper-1.4/test/exists_tests.erl file
erlang-proper/proper-1.4/test/fun_tests.erl file
erlang-proper/proper-1.4/test/improper_lists_statem.erl file
erlang-proper/proper-1.4/test/let_tests.erl file
erlang-proper/proper-1.4/test/more_commands_test.erl file
erlang-proper/proper-1.4/test/no_native_parse_test.erl file
erlang-proper/proper-1.4/test/nogen_statem.erl file
erlang-proper/proper-1.4/test/numbers_fsm.erl file
erlang-proper/proper-1.4/test/pdict_fsm.erl file
erlang-proper/proper-1.4/test/perf_max_size.erl file
erlang-proper/proper-1.4/test/post_false.erl file
erlang-proper/proper-1.4/test/prec_false.erl file
erlang-proper/proper-1.4/test/proper_exported_types_test.erl file
erlang-proper/proper-1.4/test/proper_print.erl file
erlang-proper/proper-1.4/test/proper_specs_tests.erl file
erlang-proper/proper-1.4/test/proper_tests.erl file
erlang-proper/proper-1.4/test/rec_props_test1.erl file
erlang-proper/proper-1.4/test/rec_props_test2.erl file
erlang-proper/proper-1.4/test/rec_test1.erl file
erlang-proper/proper-1.4/test/rec_test2.erl file
erlang-proper/proper-1.4/test/shrinking_gotchas.erl file
erlang-proper/proper-1.4/test/symb_statem.erl file
erlang-proper/proper-1.4/test/symb_statem_maps.erl file
erlang-proper/proper-1.4/test/targeted_fsm.erl file
erlang-proper/proper-1.4/test/targeted_shrinking_test.erl file
erlang-proper/proper-1.4/test/targeted_statem.erl file
erlang-proper/proper-1.4/test/to_remove.erl file
erlang-proper/proper-1.4/test/types_test1.erl file
erlang-proper/proper-1.4/test/types_test2.erl file
erlang-proper/proper-1.4/test/weird_types.erl file
Holders
path holder start end
Authors
path Author start end
Emails
path email start end
Urls
path url start end
License References
key short_name category owner scancode_url licensedb_url homepage_url text_urls spdx_license_key spdx_url
agpl-3.0-plus AGPL 3.0 or later Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/agpl-3.0-plus.LICENSE https://scancode-licensedb.aboutcode.org/agpl-3.0-plus http://www.gnu.org/licenses/agpl-3.0.html http://www.gnu.org/licenses/agpl.txt AGPL-3.0-or-later https://spdx.org/licenses/AGPL-3.0-or-later
apache-2.0 Apache 2.0 Permissive Apache Software Foundation https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/apache-2.0.LICENSE https://scancode-licensedb.aboutcode.org/apache-2.0 http://www.apache.org/licenses/ http://www.apache.org/licenses/LICENSE-2.0 Apache-2.0 https://spdx.org/licenses/Apache-2.0
gpl-1.0-plus GPL 1.0 or later Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/gpl-1.0-plus.LICENSE https://scancode-licensedb.aboutcode.org/gpl-1.0-plus http://www.gnu.org/licenses/old-licenses/gpl-1.0-standalone.html http://www.gnu.org/licenses/old-licenses/gpl-1.0-standalone.html GPL-1.0-or-later https://spdx.org/licenses/GPL-1.0-or-later
gpl-3.0 GPL 3.0 Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/gpl-3.0.LICENSE https://scancode-licensedb.aboutcode.org/gpl-3.0 http://www.gnu.org/licenses/gpl-3.0.html http://www.gnu.org/licenses/gpl-3.0-standalone.html http://www.gnu.org/licenses/gpl-3.0.txt GPL-3.0-only https://spdx.org/licenses/GPL-3.0-only
gpl-3.0-plus GPL 3.0 or later Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/gpl-3.0-plus.LICENSE https://scancode-licensedb.aboutcode.org/gpl-3.0-plus http://www.gnu.org/licenses/gpl-3.0-standalone.html http://www.gnu.org/licenses/gpl-3.0-standalone.html GPL-3.0-or-later https://spdx.org/licenses/GPL-3.0-or-later