From 3e0b2d05cbf2d0fe54651be126d3cfa465639f81 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Sat, 4 May 2024 14:54:47 +0000
Subject: [PATCH] dep: Regenerate target info

---
 src/target_info.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/target_info.rs b/src/target_info.rs
index c1d65dd0..7ebaef64 100644
--- a/src/target_info.rs
+++ b/src/target_info.rs
@@ -5,6 +5,7 @@ pub const RISCV_ARCH_MAPPING: &[(&str, &str)] = &[
     ("riscv32gc", "riscv32"),
     ("riscv32i", "riscv32"),
     ("riscv32im", "riscv32"),
+    ("riscv32ima", "riscv32"),
     ("riscv32imac", "riscv32"),
     ("riscv32imafc", "riscv32"),
     ("riscv32imc", "riscv32"),