diff --git a/alire.toml b/alire.toml
index 6b9960c..e818196 100644
--- a/alire.toml
+++ b/alire.toml
@@ -14,7 +14,7 @@ cortex_m = "~0.5"
 atomic = "~0.5"
 hal = "~0.3"
 usb_embedded = "~0.3"
-gnat_arm_elf = "^12.2"
+gnat_arm_elf = "^13"
 
 [configuration.variables]
 Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}
diff --git a/src/drivers/rp-clock.adb b/src/drivers/rp-clock.adb
index f9098b2..7366d35 100644
--- a/src/drivers/rp-clock.adb
+++ b/src/drivers/rp-clock.adb
@@ -239,7 +239,6 @@ package body RP.Clock is
        Accuracy : UInt4 := 15)
       return Hertz
    is
-      use type RP2040_SVD.CLOCKS.FC0_SRC_FC0_SRC_Field;
       F : Hertz;
    begin
       CLOCKS_Periph.FC0_INTERVAL.FC0_INTERVAL := Accuracy;
diff --git a/src/drivers/rp-i2c.adb b/src/drivers/rp-i2c.adb
index 16fad1f..90c6438 100644
--- a/src/drivers/rp-i2c.adb
+++ b/src/drivers/rp-i2c.adb
@@ -3,7 +3,6 @@
 --
 --  SPDX-License-Identifier: BSD-3-Clause
 --
-with Ada.Unchecked_Conversion;
 with RP.Reset;
 with RP.Clock;
 
diff --git a/tests/alire.toml b/tests/alire.toml
index 19cce54..e6c0370 100644
--- a/tests/alire.toml
+++ b/tests/alire.toml
@@ -11,7 +11,7 @@ executables = ["test_rp2040_hal"]
 [[depends-on]]  # Added by alr
 rp2040_hal = "^2"
 aunit = "^23.0.0"
-gnat_arm_elf = "^12"
+gnat_arm_elf = "^13"
 gnatcov = "^22.0.1"
 
 [[pins]]