diff --git a/index/sp/sparknacl/sparknacl-2.0.0.toml b/index/sp/sparknacl/sparknacl-2.0.0.toml
new file mode 100644
index 00000000..fe543f2f
--- /dev/null
+++ b/index/sp/sparknacl/sparknacl-2.0.0.toml
@@ -0,0 +1,29 @@
+name = "sparknacl"
+description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library"
+long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties"
+version = "2.0.0"
+tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
+licenses = ["BSD 2-Clauses"]
+website = "https://github.com/rod-chapman/SPARKNaCl"
+
+authors = ["Rod Chapman"]
+maintainers = ["Rod Chapman <rod@proteancode.com>"]
+maintainers-logins = ["rod-chapman"]
+
+[[depends-on]]
+gnat = ">=2020"
+
+[gpr-externals]
+SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"]
+SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"]
+SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"]
+SPARKNACL_CONTRACTS = ["enabled", "disabled"]
+SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
+SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3"]
+SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_f4l4"]
+
+[origin]
+commit = "77e57c77b41bb2f8402c810e8c80321581a477ce"
+url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
+