diff --git a/index/ha/hac/hac-0.25.0.toml b/index/ha/hac/hac-0.25.0.toml
new file mode 100644
index 00000000..7dea7743
--- /dev/null
+++ b/index/ha/hac/hac-0.25.0.toml
@@ -0,0 +1,18 @@
+description = "HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada"
+name = "hac"
+version = "0.25.0"
+authors = ["Gautier de Montmollin"]
+website = "https://hacadacompiler.sourceforge.io/"
+licenses = "MIT"
+maintainers = ["gdemont@hotmail.com"]
+maintainers-logins = ["zertovitch"]
+project-files = ["hac.gpr"]
+executables = ["hac"]
+tags = ["hac", "compiler"]
+
+[gpr-externals]
+HAC_Build_Mode = ["Debug", "Fast", "Small"]
+
+[origin]
+url = "https://sourceforge.net/projects/hacadacompiler/files/hac-2023-06-25-v.0.25.zip"
+hashes = ["sha512:fd80cea32a5d05f15eefea14d1e40ae90ac5af7167d3acbe31dc2278543aaccc72ef82fe07ba03cdbfc0389ae376d4fa90347517a1643dc792daad2cc4eacb9f"]