diff --git a/index/ha/hal/hal-0.4.0.toml b/index/ha/hal/hal-0.4.0.toml
new file mode 100644
index 000000000..84ff65361
--- /dev/null
+++ b/index/ha/hal/hal-0.4.0.toml
@@ -0,0 +1,27 @@
+description = "Hardware Abstraction Layer (HAL)"
+
+long-description = '''# hal
+
+Hardware Abstraction Layer: interfaces definitions to abstract access to common
+hardware devices and protocols
+
+This crate is a snapshot of the `hal` in [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).
+
+Any bug report, issue, contribution must be adressed to the [Ada Drivers
+Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
+
+'''
+
+name = "hal"
+version = "0.4.0"
+licenses = "BSD-3-Clause"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["hal.gpr"]
+tags = ["embedded", "hal", "nostd"]
+
+[origin]
+commit = "730aa937d954f030cd54cbb2b1457884a75f5e73"
+url = "git+https://github.com/Fabien-Chouteau/hal.git"
+