Update recipes

This commit is contained in:
Ribbon 2024-06-11 17:10:53 +00:00
parent cf53f33c5d
commit 843f75983a
7 changed files with 7 additions and 7 deletions

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO camino crate error
[source]
git = "https://github.com/museun/cargo-whatfeatures"
[build]

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO camino crate error
[source]
git = "https://github.com/Kobzol/cargo-wizard"
[build]

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO compiled but not tested (after cargo update)
[source]
git = "https://github.com/ava-labs/cargo-workspace-version"
[build]

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO compiled but not tested
[source]
git = "https://github.com/wfxr/code-minimap"
[build]

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO sys-info crate error (after cargo update)
[source]
git = "https://github.com/zhaofengli/colmena"
[build]

View File

@ -1,4 +1,4 @@
#TODO Not compiled or tested
#TODO compiled but not tested
[source]
git = "https://github.com/alt-art/commit"
[build]

View File

@ -4,5 +4,5 @@ git = "https://github.com/formal-land/coq-of-rust"
[build]
template = "custom"
script = """
cookbook_cargo_packages lib cli
cookbook_cargo_packages coq_of_rust_cli coq_of_rust_lib
"""