Update recipes

recipes/wip/dev/coq-of-rust/recipe.toml

-#TODO Not compiled or tested
+#TODO require the rust-src rustc-dev llvm-tools-preview components
 [source]
 git = "https://github.com/formal-land/coq-of-rust"
 [build]

recipes/wip/dev/deploy-rs/recipe.toml

-#TODO Not compiled or tested
+#TODO add a command to properly move the binary
 [source]
 git = "https://github.com/serokell/deploy-rs"
 [build]

recipes/wip/dev/dfx/recipe.toml

-#TODO Not compiled or tested
+#TODO libloading crate error
 [source]
 git = "https://github.com/dfinity/sdk"
 [build]

recipes/wip/dev/dtool/recipe.toml

-#TODO Not compiled or tested
+#TODO update the redox_syscall version on the dependency tree
 [source]
 git = "https://github.com/guoxbin/dtool"
 [build]

recipes/wip/dev/ecargo/recipe.toml

-#TODO Not compiled or tested
+#TODO glutin crate error
 [source]
 git = "https://github.com/crumblingstatue/ecargo"
 [build]

recipes/wip/dev/espmonitor/recipe.toml

-#TODO Not compiled or tested
+#TODO termios crate error
 [source]
 git = "https://github.com/esp-rs/espmonitor"
 [build]

recipes/wip/dev/get-blessed/recipe.toml

@@ -3,3 +3,6 @@
 git = "https://github.com/josueBarretogit/get_blessed_rs"
 [build]
 template = "cargo"
+dependencies = [
+    "openssl1",
+]