HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 3759635,
"next": "https://ports.macports.org/api/v1/files/?format=api&page=74404",
"previous": "https://ports.macports.org/api/v1/files/?format=api&page=74402",
"results": [
{
"build_id": 227868,
"files": []
},
{
"build_id": 250875,
"files": []
},
{
"build_id": 250876,
"files": []
},
{
"build_id": 250877,
"files": []
},
{
"build_id": 250878,
"files": []
},
{
"build_id": 250879,
"files": []
},
{
"build_id": 250880,
"files": []
},
{
"build_id": 250881,
"files": []
},
{
"build_id": 250882,
"files": []
},
{
"build_id": 250883,
"files": []
},
{
"build_id": 250884,
"files": []
},
{
"build_id": 250885,
"files": []
},
{
"build_id": 250886,
"files": []
},
{
"build_id": 277492,
"files": []
},
{
"build_id": 277493,
"files": [
{
"file": " /opt/local/include/catch2/benchmark/catch_benchmark.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_benchmark_all.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_chronometer.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_clock.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_constructor.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_environment.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_estimate.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_execution_plan.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_optimizer.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_outlier_classification.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/catch_sample_analysis.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_analyse.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_benchmark_function.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_benchmark_stats.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_benchmark_stats_fwd.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_complete_invoke.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_estimate_clock.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_measure.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_repeat.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_run_for_at_least.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_stats.hpp\n"
},
{
"file": " /opt/local/include/catch2/benchmark/detail/catch_timing.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_all.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_approx.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_assertion_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_assertion_result.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_case_sensitive.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_config.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_get_random_seed.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_message.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_section_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_session.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_tag_alias.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_tag_alias_autoregistrar.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_template_test_macros.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_test_case_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_test_macros.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_test_run_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_test_spec.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_timer.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_tostring.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_totals.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_translate_exception.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_user_config.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_version.hpp\n"
},
{
"file": " /opt/local/include/catch2/catch_version_macros.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generator_exception.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generators.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generators_adapters.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generators_all.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generators_random.hpp\n"
},
{
"file": " /opt/local/include/catch2/generators/catch_generators_range.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_all.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_capture.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_config.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_enum_values_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_exception.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_generatortracker.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_registry_hub.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_reporter.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_reporter_factory.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_tag_alias_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_test_invoker.hpp\n"
},
{
"file": " /opt/local/include/catch2/interfaces/catch_interfaces_testcase.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_assertion_handler.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_case_insensitive_comparisons.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_clara.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_commandline.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_compare_traits.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_compiler_capabilities.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_android_logwrite.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_counter.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_prefix_messages.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_static_analysis_support.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_uncaught_exceptions.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_config_wchar.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_console_colour.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_console_width.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_container_nonmembers.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_context.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_debug_console.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_debugger.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_decomposer.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_deprecation_macro.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_enforce.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_enum_values_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_errno_guard.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_exception_translator_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_fatal_condition_handler.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_floating_point_helpers.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_getenv.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_is_permutation.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_istream.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_jsonwriter.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_lazy_expr.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_leak_detector.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_lifetimebound.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_list.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_logical_traits.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_message_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_meta.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_move_and_forward.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_noncopyable.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_optional.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_output_redirect.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_parse_numbers.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_platform.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_polyfills.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_preprocessor.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_preprocessor_internal_stringify.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_preprocessor_remove_parens.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_random_floating_point_helpers.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_random_integer_helpers.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_random_number_generator.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_random_seed_generation.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_reporter_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_reporter_spec_parser.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_result_type.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_reusable_string_stream.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_run_context.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_section.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_sharding.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_singletons.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_source_line_info.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_startup_exception_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_stdstreams.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_stream_end_stop.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_string_manip.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_stringref.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_tag_alias_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_template_test_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_case_info_hasher.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_case_registry_impl.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_case_tracker.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_failure_exception.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_macro_impl.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_registry.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_test_spec_parser.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_textflow.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_thread_local.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_thread_support.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_to_string.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_uncaught_exceptions.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_uniform_floating_point_distribution.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_uniform_integer_distribution.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_unique_name.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_unique_ptr.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_unreachable.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_void_type.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_wildcard_pattern.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_windows_h_proxy.hpp\n"
},
{
"file": " /opt/local/include/catch2/internal/catch_xmlwriter.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_all.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_container_properties.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_contains.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_exception.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_floating_point.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_predicate.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_quantifiers.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_range_equals.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_string.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_templated.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/catch_matchers_vector.hpp\n"
},
{
"file": " /opt/local/include/catch2/matchers/internal/catch_matchers_impl.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_automake.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_common_base.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_compact.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_console.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_cumulative_base.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_event_listener.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_helpers.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_json.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_junit.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_multi.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_registrars.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_sonarqube.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_streaming_base.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_tap.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_teamcity.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporter_xml.hpp\n"
},
{
"file": " /opt/local/include/catch2/reporters/catch_reporters_all.hpp\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/Catch.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/Catch2Config.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/Catch2ConfigVersion.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/Catch2Targets-macports.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/Catch2Targets.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/CatchAddTests.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/CatchShardTests.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/CatchShardTestsImpl.cmake\n"
},
{
"file": " /opt/local/lib/cmake/Catch2/ParseAndAddCatchTests.cmake\n"
},
{
"file": " /opt/local/lib/libCatch2.a\n"
},
{
"file": " /opt/local/lib/libCatch2Main.a\n"
},
{
"file": " /opt/local/share/Catch2/gdbinit\n"
},
{
"file": " /opt/local/share/Catch2/lldbinit\n"
},
{
"file": " /opt/local/share/doc/Catch2/Readme.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/assertions.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/benchmarks.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/ci-and-misc.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/cmake-integration.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/command-line.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/commercial-users.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/comparing-floating-point-numbers.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/configuration.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/contributing.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/deprecations.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/event-listeners.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/faq.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/generators.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/limitations.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/list-of-examples.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/logging.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/matchers.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/migrate-v2-to-v3.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/opensource-users.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/other-macros.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/own-main.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/release-notes.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/release-process.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/reporter-events.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/reporters.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/skipping-passing-failing.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/test-cases-and-sections.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/test-fixtures.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/thread-safety.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/tostring.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/tutorial.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/usage-tips.md\n"
},
{
"file": " /opt/local/share/doc/Catch2/why-catch.md\n"
},
{
"file": " /opt/local/share/pkgconfig/catch2-with-main.pc\n"
},
{
"file": " /opt/local/share/pkgconfig/catch2.pc\n"
}
]
},
{
"build_id": 277494,
"files": [
{
"file": " /opt/local/bin/git-town\n"
}
]
},
{
"build_id": 311607,
"files": []
},
{
"build_id": 260593,
"files": []
},
{
"build_id": 260594,
"files": []
},
{
"build_id": 260595,
"files": []
},
{
"build_id": 260596,
"files": []
},
{
"build_id": 260597,
"files": []
},
{
"build_id": 260598,
"files": []
},
{
"build_id": 260599,
"files": []
},
{
"build_id": 260600,
"files": []
},
{
"build_id": 260601,
"files": []
},
{
"build_id": 260602,
"files": []
},
{
"build_id": 260603,
"files": []
},
{
"build_id": 260604,
"files": []
},
{
"build_id": 260605,
"files": []
},
{
"build_id": 260606,
"files": []
},
{
"build_id": 260607,
"files": []
},
{
"build_id": 260608,
"files": [
{
"file": " /opt/local/bin/postw90.x\n"
},
{
"file": " /opt/local/bin/w90chk2chk.x\n"
},
{
"file": " /opt/local/bin/w90pov\n"
},
{
"file": " /opt/local/bin/w90vdw.x\n"
},
{
"file": " /opt/local/bin/wannier90.x\n"
},
{
"file": " /opt/local/lib/libwannier.a\n"
}
]
},
{
"build_id": 260609,
"files": []
},
{
"build_id": 260610,
"files": []
},
{
"build_id": 96872,
"files": []
},
{
"build_id": 96873,
"files": []
},
{
"build_id": 96874,
"files": []
},
{
"build_id": 96875,
"files": []
},
{
"build_id": 96876,
"files": []
},
{
"build_id": 96877,
"files": []
},
{
"build_id": 96878,
"files": []
},
{
"build_id": 96879,
"files": []
},
{
"build_id": 96880,
"files": []
},
{
"build_id": 96881,
"files": []
},
{
"build_id": 96882,
"files": [
{
"file": " /opt/local/bin/idris2\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/compileChez\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2-boot.so\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2-boot.ss\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2.so\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2.ss\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/libidris2_support.dylib\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/base.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/contrib.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/lib/libidris2_support.a\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/lib/libidris2_support.dylib\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/linear.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/network.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/prelude.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/getline.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_directory.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_file.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_memory.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_net.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_signal.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_support.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_system.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_term.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_util.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/ct-support.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/support-sep.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/support.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/alternative.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/blackandwhite.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/default.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/gambit/foreign.scm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/gambit/support.scm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_clock.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_directory.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_file.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_signal.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/racket/ct-support.rkt\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/racket/support.rkt\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/_datatypes.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/buffer.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/cBackend.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/casts.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/clock.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/libidris2_refc.a\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/mathFunctions.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/memoryManagement.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/prim.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/refc_util.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/runtime.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/stringOps.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/threads.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/test.ipkg\n"
}
]
},
{
"build_id": 96883,
"files": []
},
{
"build_id": 96884,
"files": []
},
{
"build_id": 96885,
"files": []
},
{
"build_id": 96886,
"files": []
}
]
}