adagsl_335d13f0 gsl-vector_double.adb
agpl_1.0.0_b5da3320 agpl-drawing-figures.ads
libgpr_25.0.0_17669998 main.adb
gprbuild_22.0.1_24dfc1b5 main.adb
gnatprove_14.1.1_f6ca6f8c main.adb
embedded_nrf52832_14.1.0_50faca4d a-nurear.ads
embedded_nrf52833_14.1.0_b6606ac6 a-nurear.ads
embedded_nrf52840_14.1.0_d2b55469 a-nurear.ads
gnat_arm_elf_14.2.1_524d4d41 a-nurear.ads
gnat_riscv64_elf_14.2.1_4f738310 a-nurear.ads
gnat_native_14.2.1_06bb3def a-nurear.ads
gnatprove_14.1.1_f6ca6f8c a-nurear.ads
embedded_nrf52832_14.1.0_50faca4d a-nucoar.ads
embedded_nrf52833_14.1.0_b6606ac6 a-nucoar.ads
embedded_nrf52840_14.1.0_d2b55469 a-nucoar.ads
gnat_arm_elf_14.2.1_524d4d41 a-nucoar.ads
gnat_riscv64_elf_14.2.1_4f738310 a-nucoar.ads
gnat_native_14.2.1_06bb3def a-nucoar.ads
gnatprove_14.1.1_f6ca6f8c a-nucoar.ads
agpl_1.0.0_b5da3320 agpl-gdk.ads
adagsl_335d13f0 gsl.ads
adagsl_335d13f0 gsl-vector_double.ads
agpl_1.0.0_b5da3320 agpl-drawing-figures.adb