From ee0a84c9533f60a4122fcaf56ee5930a428670f2 Mon Sep 17 00:00:00 2001 From: Tony Gair Date: Mon, 8 Jun 2026 17:11:16 +0100 Subject: [PATCH] df_vulkan 0.1.0 (#1952) Co-authored-by: Tony Gair --- index/df/df_vulkan/df_vulkan-0.1.0.toml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 index/df/df_vulkan/df_vulkan-0.1.0.toml diff --git a/index/df/df_vulkan/df_vulkan-0.1.0.toml b/index/df/df_vulkan/df_vulkan-0.1.0.toml new file mode 100644 index 00000000..76f74f7b --- /dev/null +++ b/index/df/df_vulkan/df_vulkan-0.1.0.toml @@ -0,0 +1,14 @@ +name = "df_vulkan" +description = "Generated Ada binding to Vulkan, with a SPARK-verified safety layer" +version = "0.1.0" +licenses = "Apache-2.0" +authors = ["The Dark Factory Ltd"] +maintainers = ["Tony Gair "] +maintainers-logins = ["tonygair"] +project-files = ["df_vulkan.gpr"] +tags = ["vulkan", "graphics", "gpu", "binding", "spark"] +website = "https://github.com/the-dark-factory/vulkan-ada" + +[origin] +commit = "d3fac5d7df41b91c5a989edf1f55b6a1162b90ad" +url = "git+https://github.com/the-dark-factory/vulkan-ada.git"