gnatprove_14.1.1_f6ca6f8c msgproc.adb
tash_8.7.2_4c588c12 chelper.adb
tash_8.7.2_4c588c12 tash-strings.adb
libsimpleio_2.22364.1_1fa62ea0 i2c.adb
mcp2221_2.22364.1_14149751 i2c.adb
remoteio_2.22357.1_28437dc9 i2c.adb
gnatprove_14.1.1_f6ca6f8c tokenapi.adb
libsimpleio_2.22364.1_1fa62ea0 device.adb
gfx_rasteriser_0.1.0_a611c7af ppm.adb
aoa_22_20220720.0.0_6d9ebd71 day15_1.adb
libsimpleio_2.22364.1_1fa62ea0 messaging.adb
mcp2221_2.22364.1_14149751 messaging.adb
remoteio_2.22357.1_28437dc9 messaging.adb
wl_lib_0.1.4_6c80af58 wl-string_maps.ads
gnatprove_14.1.1_f6ca6f8c displayapi.adb
opentoken_6.0.3_b278f6ad wisi-utils.adb
ada_gui_20240224.0.1_dc57a559 ada_gui-gnoga-server-database.adb
gnatprove_14.1.1_f6ca6f8c bioapi.adb
aoa_22_20220720.0.0_6d9ebd71 day04_2.adb
aoa_22_20220720.0.0_6d9ebd71 day04_1.adb
gnatprove_14.1.1_f6ca6f8c certproc.adb
wl_lib_0.1.4_6c80af58 wl-generic_real_images.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_02_2.adb
lined_20240419.0.0_da23d88f lined-line_numbers.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_02_1.adb
pragmarc_20240810.0.0_fc017aa4 pragmarc-ansi_tty_control.adb
BBS_BBB_Ada_17b6af3a bbs-embed-pwm.adb
BBS_BBB_Ada_cfbd52e3 bbs-embed-pwm.adb
aoa_22_20220720.0.0_6d9ebd71 day11_1.adb
gnatprove_14.1.1_f6ca6f8c latchapi.adb
gnatprove_14.1.1_f6ca6f8c alarmapi.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_01_1.adb
socketcan_1.0.0_8c5e2acd print_can_frame.adb
aoa_22_20220720.0.0_6d9ebd71 day11_2.adb
libsimpleio_2.22364.1_1fa62ea0 sprinkler-program.adb
whitakers_words_0.20240801.0_bbf5d50c latin_utils-strings_package.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_04_1.adb
aoa_22_20220720.0.0_6d9ebd71 day03_2.adb
libsimpleio_2.22364.1_1fa62ea0 sprinkler-valves-gpio-libsimpleio.adb
embedded_nrf52832_14.1.0_50faca4d a-sfecin.ads
embedded_nrf52832_14.1.0_50faca4d a-sflcin.ads
embedded_nrf52833_14.1.0_b6606ac6 a-sfecin.ads
embedded_nrf52833_14.1.0_b6606ac6 a-sflcin.ads
embedded_nrf52840_14.1.0_d2b55469 a-sfecin.ads
embedded_nrf52840_14.1.0_d2b55469 a-sflcin.ads
wl_lib_0.1.4_6c80af58 wl-generic_money.adb
embedded_nrf52832_14.1.0_50faca4d a-sfhcin.ads
embedded_nrf52833_14.1.0_b6606ac6 a-sfhcin.ads
embedded_nrf52840_14.1.0_d2b55469 a-sfhcin.ads
gnat_arm_elf_14.2.1_524d4d41 a-sfecin.ads
gnat_arm_elf_14.2.1_524d4d41 a-sflcin.ads
gnat_riscv64_elf_14.2.1_4f738310 a-sfecin.ads
gnat_riscv64_elf_14.2.1_4f738310 a-sflcin.ads
gnat_native_14.2.1_06bb3def a-sfecin.ads
gnat_native_14.2.1_06bb3def a-sflcin.ads
gnatprove_14.1.1_f6ca6f8c a-sfecin.ads
gnatprove_14.1.1_f6ca6f8c a-sflcin.ads
gnat_arm_elf_14.2.1_524d4d41 a-sfhcin.ads
gnat_riscv64_elf_14.2.1_4f738310 a-sfhcin.ads
gnat_native_14.2.1_06bb3def a-sfhcin.ads
gnatprove_14.1.1_f6ca6f8c a-sfhcin.ads
opentoken_6.0.3_b278f6ad opentoken.adb
stephes_ada_library_3.7.3_08b48307 sal-text_io_utils.adb
openglada_0.9.0_4deb7eff gl-context.adb
bbt_0.0.6_807c8d3a file_utilities.adb
libsimpleio_2.22364.1_1fa62ea0 ftdi.adb
gnatprove_14.1.1_f6ca6f8c contains.adb
gnatprove_14.1.1_f6ca6f8c contains2.adb
pragmarc_20240810.0.0_fc017aa4 pragmarc-line_fields.adb
printer_toolkit_0.2.0_dcd7470e progress.adb
libgpr2_25.0.0_70fe0fcf indash.adb
ada_ado_cf105198 ado-schemas-mysql.adb
ado_2.4.1_cf105198 ado-schemas-mysql.adb
trendy_test_0.0.3_a0e14736 trendy_locations.adb
libsimpleio_2.22364.1_1fa62ea0 remoteio-server-foundation.adb
ada_ado_cf105198 ado-schemas-sqlite.adb
spawn_25.0.0_c1135d5d spawn-environments-initialize_default__glib.adb
ado_2.4.1_cf105198 ado-schemas-sqlite.adb
spawn_glib_25.0.0_c1135d5d spawn-environments-initialize_default__glib.adb
wl_lib_0.1.4_6c80af58 wl-generic_quantities.adb
embedded_nrf52832_14.1.0_50faca4d a-stfiha.ads
embedded_nrf52833_14.1.0_b6606ac6 a-stfiha.ads
embedded_nrf52840_14.1.0_d2b55469 a-stfiha.ads
ocarina_lib_1.1.0_56e84ebe ocarina-dia-parser-translate-misc.adb
gnat_arm_elf_14.2.1_524d4d41 a-stfiha.ads
gnat_riscv64_elf_14.2.1_4f738310 a-stfiha.ads
gnat_native_14.2.1_06bb3def a-stfiha.ads
gnatprove_14.1.1_f6ca6f8c a-stfiha.ads
opentoken_6.0.3_b278f6ad opentoken-production-parser-lalr.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_12_1.adb
bbt_0.0.6_807c8d3a bbt-status_bar.adb
adagsl_335d13f0 fields.adb
adabots_1.9.0_14ac7303 adabots_nodetypes.adb
spawn_25.0.0_c1135d5d spawn-environments-initialize_default__posix.adb
libsimpleio_2.22364.1_1fa62ea0 remoteio-server-message64.adb
spawn_glib_25.0.0_c1135d5d spawn-environments-initialize_default__posix.adb
lace_0.1.0_347e4627 lace-text-cursor.adb
libadalang_tools_25.0.0_5304ba7e utils-tool_names.adb
parallelize_1.0.0_b5ceb759 commands.adb
ada_ado_de4b3c95 ado-schemas-mysql.adb
ada_awa_e34bd6db ado-schemas-mysql.adb
awa_2.5.0_e34bd6db ado-schemas-mysql.adb
spat_1.3.0_4ad4ab14 spat-entity_line.adb
ada_ado_de4b3c95 ado-schemas-sqlite.adb
lal_refactor_25.0.0_15241508 lal_refactor.adb
liblal_refactor_25.0.0_15241508 lal_refactor.adb
gfx_rasteriser_0.1.0_a611c7af gfx-drawing-debug.adb
ada_awa_e34bd6db ado-schemas-sqlite.adb
awa_2.5.0_e34bd6db ado-schemas-sqlite.adb
rxada_0.1.1_dd9da799 rx-impl-casts.ads
spawn_25.0.0_c1135d5d spawn-environments-search_in_path__posix.adb
spat_1.3.0_4ad4ab14 run_spat-print_suggestion.adb
spawn_glib_25.0.0_c1135d5d spawn-environments-search_in_path__posix.adb
ncursesada_6.3.0_c6c68b5b ncurses2-color_test.adb
ada_util_0d266031 util-strings-tests.adb
utilada_2.8.0_0d266031 util-strings-tests.adb
trendy_terminal_0.0.5_f56da7f1 trendy_terminal-vt100.adb
gnatcoll_25.0.0_d7d84483 test.adb
libsimpleio_2.22364.1_1fa62ea0 remoteio-server-udp.adb
septum_0.0.8_6dbc8e6b sp-filters.adb
ada_awa_e34bd6db util-strings-tests.adb
awa_2.5.0_e34bd6db util-strings-tests.adb
gnatprove_14.1.1_f6ca6f8c contains3.adb
stephes_ada_library_3.7.3_08b48307 sal-gen_trimmed_image.adb
lace_opengl_0.1.0_672a6415 opengl-program-lit-textured_skinned.adb
stephes_ada_library_3.7.3_08b48307 sal-gen_trimmed_image_unsigned.adb
lace_opengl_0.1.0_672a6415 opengl-program-lit-colored_textured_skinned.adb
dummyserver_1.0.0_9a6e8708 black-text_io.adb
libsimpleio_2.22364.1_1fa62ea0 mcp2221.adb
mcp2221_2.22364.1_14149751 mcp2221.adb
libgpr2_25.0.0_70fe0fcf gpr2-build-actions-write_file.ads
progress_indicators_0.0.1_863e14c4 progress_indicators-bars.adb
septum_0.0.8_6dbc8e6b sp-progress.adb
whitakers_words_0.20240801.0_bbf5d50c words_engine-pearse_code.adb
aoa_22_20220720.0.0_6d9ebd71 day03_1.adb
hac_0.40.0_79206bbb hac_sys-pcode-interpreter-exceptions.adb
excel_writer_19.0.0_121a5520 csv2tex.adb
agpl_1.0.0_b5da3320 agpl-interfaces-c-types.adb
spat_1.3.0_4ad4ab14 spat-entity_location.adb
emojis_1.0.1_915d688c test.adb
bingada_1.0.0_a25771e2 q_sound.canberra.adb
tiled_code_gen_0.1.0_c4ef09ee tcg-collision_objects.adb
Ada_Web_Server_43225d60 bbs-web-svg.adb
ada_util_0d266031 util-strings.adb
bbs_webif_0.1.0_3aacf510 bbs-web-svg.adb
utilada_2.8.0_0d266031 util-strings.adb
hac_0.40.0_79206bbb aoc_2020_06_full_ada.adb
wisitoken_4.2.1_dc778486 wisitoken-text_io_trace.adb
parse_args_0.9.0_635f9e4f parse_args-split_csv.adb
gfx_rasteriser_0.1.0_a611c7af test_support.adb
wayland_ada_f8a9fe05 aida.adb
rxada_0.1.1_dd9da799 rx-debug.ads
libgpr2_25.0.0_70fe0fcf gpr2-source_reference.adb
linenoise_ada_1.1.2_d96796f6 callbacks.adb
pragmarc_20240810.0.0_fc017aa4 pragmarc-reflection.ads
getada_1.0.1_e3e93ee6 common.adb
gnatprove_14.1.1_f6ca6f8c doorapi.adb
gtkada_25.0.1_d3787772 common.adb
ada_awa_e34bd6db util-strings.adb
dummyserver_1.0.0_9a6e8708 server.adb
awa_2.5.0_e34bd6db util-strings.adb
spat_1.3.0_4ad4ab14 spat-timing_item.adb
trendy_terminal_0.0.5_f56da7f1 trendy_terminal-histories.adb
orka_b455160b orka-jobs-workers.adb
universal_text_file_20220720.0.0_d58797df from_utf.adb
universal_text_file_20220720.0.0_d58797df to_utf.adb
bingada_1.0.0_a25771e2 q_sound.sfml.adb
orka_b455160b egl.adb
aicwl_3.24.1_73939c9e gtk-generic_enum_combo_box.adb
aoa_23_20230119.0.0_38d1c7e5 aoa_19_1.adb
gnatcoll_postgres_25.0.0_99777a00 gnatcoll-sql_fields.adb
gnatcoll_sql_25.0.0_99777a00 gnatcoll-sql_fields.adb
gnatcoll_sqlite_25.0.0_99777a00 gnatcoll-sql_fields.adb
gnatcoll_xref_25.0.0_99777a00 gnatcoll-sql_fields.adb
libadalang2xml_1.0.2_99ee1dd1 components.adb
aoa_22_20220720.0.0_6d9ebd71 day14_1.adb
libadalang_tools_25.0.0_5304ba7e tgen-instr_support.ads
libgpr2_25.0.0_70fe0fcf gpr_parser_support-slocs.ads
aws_24.0.0_2b75fe6d tc_soap_names.adb
prettier_ada_25.0.0_a67a3337 prettier_ada-documents.adb
bingada_1.0.0_a25771e2 q_sound.adb
lace_0.1.0_347e4627 lace-environ-os_commands.adb
langkit_support_25.0.0_7c5f4981 langkit_support-slocs.ads
libsimpleio_2.22364.1_1fa62ea0 remoteio-client.adb
remoteio_2.22357.1_28437dc9 remoteio-client.adb
aoa_22_20220720.0.0_6d9ebd71 day14_2.adb
aws_24.0.0_2b75fe6d deep_res.adb
stephes_ada_library_3.7.3_08b48307 sal-gen_unbounded_definite_vectors-gen_image.adb
agpl_1.0.0_b5da3320 agpl-strings.adb
gnatprove_14.1.1_f6ca6f8c tokenreader-interfac.adb
tiled_code_gen_0.1.0_c4ef09ee tcg-object_groups.adb
ada_awa_e34bd6db gen-artifacts-docs.adb
dynamo_1.4.0_91a535d6 gen-artifacts-docs.adb
awa_2.5.0_e34bd6db gen-artifacts-docs.adb
spat_1.3.0_4ad4ab14 spat.adb
aws_24.0.0_2b75fe6d regtst2.adb
templates_parser_25.0.0_ad33f51f regtst2.adb
lal_refactor_25.0.0_15241508 lal_refactor-file_edits.adb
liblal_refactor_25.0.0_15241508 lal_refactor-file_edits.adb
orka_b455160b orka-loggers-formatting.adb
zipada_60.0.0_72ea5aa4 zip_with_many_files.adb
aws_24.0.0_2b75fe6d aws-communication-client.adb
ada_util_0d266031 util-mail.adb
matreshka_league_21.0.0_0c8f4d47 league-text_codecs-codec_for_application_locale__posix.adb
zipada_60.0.0_72ea5aa4 zip_with_big_files.adb
utilada_2.8.0_0d266031 util-mail.adb
getada_1.0.1_e3e93ee6 prompts.adb
ada_util_0d266031 ahven-temporary_output.adb
xdg_base_dir_1.0.0_e0e3de18 xdg_base_dir.adb
tash_8.7.2_4c588c12 tash.adb
gnatcoll_postgres_25.0.0_99777a00 gnatcoll-sql-exec_private.adb
gnatcoll_sql_25.0.0_99777a00 gnatcoll-sql-exec_private.adb
gnatcoll_sqlite_25.0.0_99777a00 gnatcoll-sql-exec_private.adb
gnatcoll_xref_25.0.0_99777a00 gnatcoll-sql-exec_private.adb
ada_awa_e34bd6db ahven-temporary_output.adb
cheddar_3.3.0_aea10b3c strings.adb
si_units_0.2.0_13606e49 si_units.ads
utilada_2.8.0_0d266031 ahven-temporary_output.adb
excel_writer_19.0.0_121a5520 csv2html.adb
awa_2.5.0_e34bd6db ahven-temporary_output.adb
gnoga_2.1.2_5f127c56 pragmarc-reflection.ads
excel_writer_19.0.0_121a5520 csv2xls.adb
emojis_1.0.1_915d688c strings.adb
aws_24.0.0_2b75fe6d aws-services-split_pages-uniform-alpha.adb
ada_asf_272ec884 render.adb
serverfaces_1.6.1_272ec884 render.adb
rejuvenation_23.0.0_507c1f00 rejuvenation-nested.adb
stephes_ada_library_3.7.3_08b48307 sal-gen_unbounded_definite_red_black_trees-gen_print_tree.adb
xia_1.4.1_b3cee557 utilities.adb
dummyserver_1.0.0_9a6e8708 hex_utilities.adb
hac_0.40.0_79206bbb aoc_2020_04_b_full_ada.adb
asis_2019.0.0_3ca32fa2 mckae-text-lexicals.adb
iso_2.0.0_abd8a59c common.ads
libsimpleio_2.22364.1_1fa62ea0 clickboard-shields.adb
libsimpleio_2.22364.1_1fa62ea0 remoteio-abstract_device.adb
remoteio_2.22357.1_28437dc9 remoteio-abstract_device.adb
wl_lib_0.1.4_6c80af58 wl-numerics-generic_trigonometry.adb
ada_gui_20240224.0.1_dc57a559 ada_gui-next_event.adb
pragmarc_20240810.0.0_fc017aa4 pragmarc-unbounded_numbers-rationals.adb
emacs_gpr_mode_1.0.5_86537035 wisi-gpr.adb
iso_2.0.0_abd8a59c common.adb
ada_awa_e34bd6db gen-commands-database.adb
excel_writer_19.0.0_121a5520 csv.adb
opentoken_6.0.3_b278f6ad test_html_lexer_safe.adb
aaa_0.2.6_dfd6339b aaa-strings.adb
dynamo_1.4.0_91a535d6 gen-commands-database.adb
awa_2.5.0_e34bd6db gen-commands-database.adb
ada_asf_272ec884 asf-tests.adb
aws_24.0.0_2b75fe6d templates_parser-debug.adb
templates_parser_25.0.0_ad33f51f templates_parser-debug.adb