MahnoKropotkinvich/redox
1
0
Fork 0
mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-30 00:28:44 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add a recipe

Browse Source
This commit is contained in:
Ribbon 2024-05-17 22:51:21 +00:00
parent 01dff49223
commit 95cbdc87ec
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
recipes/wip/dev/coq-of-rust/recipe.toml Normal file
View File

@ -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
"""