diff --git a/index/pr/pragmarc/pragmarc-1.0.0.toml b/index/pr/pragmarc/pragmarc-1.0.0.toml
new file mode 100644
index 000000000..fd6f45c55
--- /dev/null
+++ b/index/pr/pragmarc/pragmarc-1.0.0.toml
@@ -0,0 +1,22 @@
+name = "pragmarc"
+description = "The PragmAda Reusable Components"
+version = "1.0.0"
+
+authors = ["Jeff Carter"]
+maintainers = ["Bent Bracke <bent@bracke.dk>"]
+maintainers-logins = ["bracke"]
+licenses = "BSD-3-Clause"
+website = "https://github.com/bracke/PragmARC"
+tags = ["cards","conversions","datastructures","encryption","matching","randomness","safety","sorting","taskcom","tty","containers"]
+
+[build-switches]
+"*".style_checks = "No"
+"*".ada_version = "Ada12"
+
+[[depends-on]] # Avoid bug in GNAT 13
+gnat = "<13.0 | >=13.3"
+
+[origin]
+commit = "3ae8fb5e1d71b350633b160859062939b2c17f84"
+url = "git+https://github.com/bracke/PragmARC.git"
+