From 95cbdc87ec9b53a767173b213661a6d5a54f1893 Mon Sep 17 00:00:00 2001
From: Ribbon <ribbon_45@proton.me>
Date: Fri, 17 May 2024 22:51:21 +0000
Subject: [PATCH] Add a recipe

---
 recipes/wip/dev/coq-of-rust/recipe.toml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 recipes/wip/dev/coq-of-rust/recipe.toml

diff --git a/recipes/wip/dev/coq-of-rust/recipe.toml b/recipes/wip/dev/coq-of-rust/recipe.toml
new file mode 100644
index 000000000..6d89cfbee
--- /dev/null
+++ b/recipes/wip/dev/coq-of-rust/recipe.toml
@@ -0,0 +1,8 @@
+#TODO Not compiled or tested
+[source]
+git = "https://github.com/formal-land/coq-of-rust"
+[build]
+template = "custom"
+script = """
+cookbook_cargo_packages lib cli
+"""