iterators_0.2.0_18995a4d iterators-from-ordered_maps.ads
iterators_0.2.0_18995a4d iterators-from-elements-lists.ads
iterators_0.2.0_18995a4d iterators-from-vectors.ads
iterators_0.2.0_18995a4d iterators-from-lists.ads
libgpr2_25.0.0_70fe0fcf gpr2-containers.ads
agpl_1.0.0_b5da3320 agpl-containers-bulk.ads
agpl_1.0.0_b5da3320 agpl-stochastics-mdp-state.ads
ada_language_server_25.0.0_72b68d6b lsp-locations.ads
lal_refactor_25.0.0_15241508 a.ads
liblal_refactor_25.0.0_15241508 a.ads
libgpr2_25.0.0_70fe0fcf gpr2-build-view_tables.ads
lal_refactor_25.0.0_15241508 lal_refactor-tools-suppress_dead_params_tool.ads
liblal_refactor_25.0.0_15241508 lal_refactor-tools-suppress_dead_params_tool.ads
lace_math_0.1.0_3ab67197 any_math-any_geometry-any_d3-any_modeller.ads
vss_25.0.0_1ddbb26c vss-command_line-parsers.ads
libadalang_tools_25.0.0_5304ba7e tgen-strings.ads
vss_25.0.0_1ddbb26c ucd-properties.ads
anagram_1.0.0_49233f56 anagram-grammars-parser_utils.ads
openglada_0.9.0_4deb7eff specs.ads
adayaml_0.3.0_ab19e387 yaml-dom-node_memory.ads
ada_awa_e34bd6db yaml-text_set.adb
dynamo_1.4.0_91a535d6 yaml-text_set.adb
awa_2.5.0_e34bd6db yaml-text_set.adb
ada_language_server_25.0.0_72b68d6b lsp_gen-dependencies.adb
agpl_1.0.0_b5da3320 agpl-stochastics-mdp-containers.ads
agpl_1.0.0_b5da3320 agpl-containers-indefinite_matrix2d.ads
dependency_graph_extractor_22.0.0_992fc1c4 graphml_writers.ads
libadalang_tools_25.0.0_5304ba7e tgen-context.ads
embedded_nrf52832_14.1.0_50faca4d a-cgaaso.adb
embedded_nrf52833_14.1.0_b6606ac6 a-cgaaso.adb
embedded_nrf52840_14.1.0_d2b55469 a-cgaaso.adb
gnat_arm_elf_14.2.1_524d4d41 a-cgaaso.adb
gnat_riscv64_elf_14.2.1_4f738310 a-cgaaso.adb
gnat_native_14.2.1_06bb3def a-cgaaso.adb
gnatprove_14.1.1_f6ca6f8c a-cgaaso.adb
cmd_ada_0.0.1_fe3d4ab5 cmd_ada.ads
ada_language_server_25.0.0_72b68d6b lsp-ada_file_sets.ads
stephes_ada_library_3.7.3_08b48307 sal-ada_containers-gen_indefinite_doubly_linked_lists_aunit.ads
keypadder_0.3.0_104c359a config.ads
aoa_23_20230119.0.0_38d1c7e5 aoa_16_1.adb
ada_language_server_25.0.0_72b68d6b lsp-ada_completions-generic_assoc_utils.ads
epoll_0.1.1_5475faed server.ads
lal_refactor_25.0.0_15241508 lal_refactor-tools-record_components_tool.ads
liblal_refactor_25.0.0_15241508 lal_refactor-tools-record_components_tool.ads
lal_refactor_25.0.0_15241508 lal_refactor-tools-scope_declarations_tool.ads
liblal_refactor_25.0.0_15241508 lal_refactor-tools-scope_declarations_tool.ads
matreshka_league_21.0.0_0c8f4d47 documentation_generator-database.adb
libgpr2_25.0.0_70fe0fcf gpr2-view_ids-dags.ads
dummyserver_1.0.0_9a6e8708 configuration.ads
stephes_ada_library_3.7.3_08b48307 sal-gen_graphs.ads
asis_2019.0.0_3ca32fa2 gnattest-mapping.ads
tiled_code_gen_0.1.0_c4ef09ee tcg-tilesets.ads
adayaml_0.3.0_ab19e387 yaml-text_set.adb
aaa_0.2.6_dfd6339b aaa-table_io.ads
iterators_0.2.0_18995a4d aaa-table_io.ads
lal_refactor_25.0.0_15241508 lal_refactor-tools-relocate_decls_tool.ads
liblal_refactor_25.0.0_15241508 lal_refactor-tools-relocate_decls_tool.ads
matreshka_league_21.0.0_0c8f4d47 scanner_extractor.ads
vss_25.0.0_1ddbb26c gen_ucd-enumeration_types.ads
pragmarc_20240810.0.0_fc017aa4 pragmarc-data_structures-queues-unbounded-protection-blocking.ads
ada_language_server_25.0.0_72b68d6b lsp-ada_highlighters.ads
iso_2.0.0_abd8a59c currencies.ads
pragmarc_20240810.0.0_fc017aa4 pragmarc-data_structures-queues-bounded-protection-blocking.ads
matreshka_league_21.0.0_0c8f4d47 engines-generic_engines.adb
matreshka_league_21.0.0_0c8f4d47 wsdl-ast-interfaces.ads
yeison_0.1.0_054232ad yeison_single.ads
wl_lib_0.1.4_6c80af58 wl-reports-tables.ads
anagram_1.0.0_49233f56 anagram-grammars-constructors.ads
ada_ado_cf105198 ado-utils.ads
hac_0.40.0_79206bbb aoc_2020_15_full_ada_hashed_maps.adb
spawn_25.0.0_c1135d5d spawn-polls-posix_polls.ads
stephes_ada_library_3.7.3_08b48307 sal-gen_graphs-gen_aunit.ads
ado_2.4.1_cf105198 ado-utils.ads
spawn_glib_25.0.0_c1135d5d spawn-polls-posix_polls.ads
wl_lib_0.1.4_6c80af58 wl-graphs.ads
libadalang_25.0.0_0303cb0f libadalang-config_pragmas_impl.ads
matreshka_league_21.0.0_0c8f4d47 matreshka-xml_catalogs-entry_files.ads
agpl_1.0.0_b5da3320 agpl-containers-protected_indefinite_doubly_linked_lists.ads
opentoken_6.0.3_b278f6ad wisi.ads
agpl_1.0.0_b5da3320 agpl-containers-graphs.ads
libsimpleio_2.22364.1_1fa62ea0 sprinkler-valves.adb
lace_gel_0.1.0_2c333035 gel-remote-world.ads
stephes_ada_library_3.7.3_08b48307 sal-ada_containers-gen_doubly_linked_lists_aunit.ads
lace_0.1.0_347e4627 lace-containers.ads
libgpr2_25.0.0_70fe0fcf gpr2.ads
stephes_ada_library_3.7.3_08b48307 sal-ada_containers-gen_indefinite_vectors_aunit.ads
xia_1.4.1_b3cee557 mckae-xml-xpath-node_sets.ads
gnat_native_14.2.1_06bb3def a-cbprqu.ads
gnatprove_14.1.1_f6ca6f8c a-cbprqu.ads
langkit_support_25.0.0_7c5f4981 hash.adb
libkeccak_3.0.0_f33be1c8 test_vectors.ads
agpl_1.0.0_b5da3320 agpl-containers-algorithms.ads
libadalang_tools_25.0.0_5304ba7e test-mapping.ads
lal_refactor_25.0.0_15241508 lal_refactor.ads
liblal_refactor_25.0.0_15241508 lal_refactor.ads
lace_gel_0.1.0_2c333035 gel-rig.ads
wl_lib_0.1.4_6c80af58 wl-indefinite_heaps.ads
ada_util_0d266031 util-strings.ads
utilada_2.8.0_0d266031 util-strings.ads
iterators_0.2.0_18995a4d iterators-tests.ads
ada_ado_de4b3c95 ado-utils.ads
ada_awa_e34bd6db ado-utils.ads
jupyter_kernel_1.0.0_8c987c13 hello_world.ads
awa_2.5.0_e34bd6db ado-utils.ads
matreshka_league_21.0.0_0c8f4d47 configure.ads
gnat_native_14.2.1_06bb3def a-cuprqu.ads
gnatprove_14.1.1_f6ca6f8c a-cuprqu.ads
gnoga_2.1.2_5f127c56 localize-parser.ads
libgpr2_25.0.0_70fe0fcf gpr2-build-signature.ads
lal_refactor_25.0.0_15241508 lal_refactor-extract_subprogram.ads
liblal_refactor_25.0.0_15241508 lal_refactor-extract_subprogram.ads
openapi_ada_0ea881bc openapi.ads
openapi_0.8.0_0ea881bc openapi.ads
ada_language_server_25.0.0_72b68d6b lsp-structures-hashes.ads
ada_awa_e34bd6db util-strings.ads
parse_args_0.9.0_635f9e4f parse_args.ads
awa_2.5.0_e34bd6db util-strings.ads
rejuvenation_23.0.0_507c1f00 rejuvenation.ads
inotify_2.0.1_42f5ce85 inotify.ads
ada_util_0d266031 util-serialize-contexts.ads
utilada_2.8.0_0d266031 util-serialize-contexts.ads
libgpr2_25.0.0_70fe0fcf gpr2-build-tree_db.ads
matreshka_league_21.0.0_0c8f4d47 parser_extractor.ads
avrada_rts_2.0.1_92a5f15a a-cgcaso.ads
embedded_nrf52832_14.1.0_50faca4d a-cgcaso.ads
embedded_nrf52833_14.1.0_b6606ac6 a-cgcaso.ads
embedded_nrf52840_14.1.0_d2b55469 a-cgcaso.ads
gnat_native_14.2.1_06bb3def a-cusyqu.ads
gnatprove_14.1.1_f6ca6f8c a-cusyqu.ads
matreshka_league_21.0.0_0c8f4d47 token_extractor.ads
pragmarc_20240810.0.0_fc017aa4 pragmarc-data_structures-queues-bounded-unprotected.ads
stephes_ada_library_3.7.3_08b48307 sal-gen_bounded_definite_vectors.ads
markdown_25.0.0_0acbc1c0 markdown-parsers.ads
gnat_arm_elf_14.2.1_524d4d41 a-cgcaso.ads
gnat_riscv64_elf_14.2.1_4f738310 a-cgcaso.ads
gnat_native_14.2.1_06bb3def a-cgcaso.ads
gnatprove_14.1.1_f6ca6f8c a-cgcaso.ads
stephes_ada_library_3.7.3_08b48307 sal-gen_bounded_definite_vectors.adb
ada_awa_e34bd6db openapi.ads
spat_1.3.0_4ad4ab14 spat-entity-tree.adb
awa_2.5.0_e34bd6db openapi.ads
libadalang_tools_25.0.0_5304ba7e tgen-subprograms.ads
rejuvenation_23.0.0_507c1f00 generator-match_pattern_specific.ads
orka_b455160b orka-scenes-generic_scene_trees.ads
ada_language_server_25.0.0_72b68d6b lsp-gpr_files.ads
asis_2019.0.0_3ca32fa2 gnattest-common.ads
stephes_ada_library_3.7.3_08b48307 sal-ada_containers.ads
gnat_native_14.2.1_06bb3def a-cbsyqu.ads
gnatprove_14.1.1_f6ca6f8c a-cbsyqu.ads
spat_1.3.0_4ad4ab14 spat-spark_info.ads
sciada_0.4.0_af24740d sci-occurrences-arrays.ads
gtkada_25.0.1_d3787772 gtkada-canvas_view-astar.adb
agpl_1.0.0_b5da3320 agpl-protected_datastore.ads
ada_language_server_25.0.0_72b68d6b main_package.ads
spawn_25.0.0_c1135d5d spawn-internal-monitor__posix.adb
lal_refactor_25.0.0_15241508 main_package.ads
liblal_refactor_25.0.0_15241508 main_package.ads
spawn_glib_25.0.0_c1135d5d spawn-internal-monitor__posix.adb
matreshka_league_21.0.0_0c8f4d47 engines-generic_engines.ads
ada_asf_272ec884 asf-factory.ads
minimal_containers_1.2.1_4b394fb5 test_maps.adb
serverfaces_1.6.1_272ec884 asf-factory.ads
matreshka_league_21.0.0_0c8f4d47 matreshka-internals-finite_automatons.ads
lace_0.1.0_347e4627 lace-make_subject.ads
spat_1.3.0_4ad4ab14 spat-entity-tree.ads
gtkada_25.0.1_d3787772 task_worker.ads
startup_gen_25.0.0_11d96112 device.ads
aaa_0.2.6_dfd6339b aaa-strings.ads
lace_0.1.0_347e4627 lace-make_observer-deferred.ads
ada_awa_e34bd6db util-serialize-contexts.ads
awa_2.5.0_e34bd6db util-serialize-contexts.ads
matreshka_league_21.0.0_0c8f4d47 amf-internals-xmi_readers.ads
libgpr2_25.0.0_70fe0fcf gpr2-project-external.ads
libgpr2_25.0.0_70fe0fcf gpr2-kb.ads
septum_0.0.8_6dbc8e6b sp-contexts.ads
spat_1.3.0_4ad4ab14 spat-proof_attempt-list.ads
aunit_25.0.0_3882c581 aunit-test_cases.ads
wl_lib_0.1.4_6c80af58 wl-unit.ads
lal_refactor_25.0.0_15241508 lal_refactor-tools-scope_declarations_tool.adb
liblal_refactor_25.0.0_15241508 lal_refactor-tools-scope_declarations_tool.adb
labs_solar_system_1.2.0_41b04180 solar_system.ads
matreshka_league_21.0.0_0c8f4d47 uaflex-nodes.ads
ada_awa_e34bd6db asf-factory.ads
awa_2.5.0_e34bd6db asf-factory.ads
openai_1.0.0_0f7f8521 openai-models.ads
vss_25.0.0_1ddbb26c ucd-characters.adb
stephes_ada_library_3.7.3_08b48307 sal-ada_containers-gen_doubly_linked_lists_image.ads
libadalang_tools_25.0.0_5304ba7e laltools-common.ads
aws_24.0.0_2b75fe6d array_rec_int_types.ads
lal_refactor_25.0.0_15241508 lal_refactor-sort_dependencies.ads
liblal_refactor_25.0.0_15241508 lal_refactor-sort_dependencies.ads
ada_language_server_25.0.0_72b68d6b lsp-job_schedulers.ads
aunit_25.0.0_3882c581 aunit-test_suites.ads
j2ada_1.4.2_79a46634 importmgr.ads
dashera_0.15.1_3d8309f0 xmodem.ads
gnatcoll_gmp_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_iconv_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_lzma_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_omp_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_python3_23.0.0_57de4a1a a-cvgpso.adb
gnatcoll_python_21.0.0_0278508b a-cvgpso.adb
gnatcoll_readline_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_syslog_25.0.0_0848cc59 a-cvgpso.adb
gnatcoll_zlib_25.0.0_0848cc59 a-cvgpso.adb
matreshka_league_21.0.0_0c8f4d47 amf-internals-xmi_handlers.ads
agpl_1.0.0_b5da3320 agpl-search-a_star.adb
wl_lib_0.1.4_6c80af58 wl-work.adb
libadalang_tools_25.0.0_5304ba7e utils-projects.ads
lal_refactor_25.0.0_15241508 lal_refactor-safe_rename.ads
liblal_refactor_25.0.0_15241508 lal_refactor-safe_rename.ads
stephes_ada_library_3.7.3_08b48307 sal.ads
spawn_25.0.0_c1135d5d spawn-internal-monitor__windows.adb
spawn_glib_25.0.0_c1135d5d spawn-internal-monitor__windows.adb
gnoga_2.1.2_5f127c56 gnoga-types.ads
libgpr2_25.0.0_70fe0fcf processes_wrapper-main.adb
spat_1.3.0_4ad4ab14 spat-spark_info-heuristics.ads
rejuvenation_23.0.0_507c1f00 parentpackage.adb
svd2ada_0.1.0_6eb0b591 descriptors-enumerate.ads
ada_awa_e34bd6db gen-artifacts-distribs.ads
lal_refactor_25.0.0_15241508 h.ads
liblal_refactor_25.0.0_15241508 h.ads
dynamo_1.4.0_91a535d6 gen-artifacts-distribs.ads
awa_2.5.0_e34bd6db gen-artifacts-distribs.ads
rejuvenation_23.0.0_507c1f00 string_sets.ads
adayaml_0.3.0_ab19e387 text-sets.ads
rejuvenation_23.0.0_507c1f00 string_vectors.ads
ada_util_0d266031 genentities.adb
lal_refactor_25.0.0_15241508 i.ads
liblal_refactor_25.0.0_15241508 i.ads
rewriters_23.0.0_736dbf04 rewriters_vectors.ads
matreshka_league_21.0.0_0c8f4d47 web_services-soap-headers-encoders-registry.adb
matreshka_league_21.0.0_0c8f4d47 web_services-soap-payloads-encoders-registry.adb
minimal_containers_1.2.1_4b394fb5 minimal_containers-bounded_hashed_maps.ads
rejuvenation_23.0.0_507c1f00 string_maps.ads
agpl_1.0.0_b5da3320 agpl-geoip.ads
utilada_2.8.0_0d266031 genentities.adb
dummyserver_1.0.0_9a6e8708 black-parameter-vectors.ads
wikiada_1.4.2_8e70483e genentities.adb
matreshka_league_21.0.0_0c8f4d47 web_services-soap-payloads-faults-encoders-registry.adb
agpl_1.0.0_b5da3320 agpl-containers-integer_sets.ads
gnatprove_14.1.1_f6ca6f8c spark-containers-types.ads
matreshka_league_21.0.0_0c8f4d47 web_services-soap-handler_registry.adb
agpl_1.0.0_b5da3320 agpl-containers-string_vectors.ads
stephes_ada_library_3.7.3_08b48307 sal-gen_randomize_doubly_linked_lists.ads
agpl_1.0.0_b5da3320 agpl-containers-string_sets.ads
lace_0.1.0_347e4627 lace-containers-shuffle_vector.ads
adagsl_335d13f0 fields.ads
gnat_native_14.2.1_06bb3def a-cofuma.ads
gnat_native_14.2.1_06bb3def a-cofuse.ads
gnat_native_14.2.1_06bb3def a-cofuve.ads