From 68ed409bb6c6ae35af81de0c1d5809a4bb1e3c45 Mon Sep 17 00:00:00 2001
From: saimeunt <saimeunt@gmail.com>
Date: Thu, 21 May 2026 15:53:09 +0200
Subject: [PATCH] feat: add miden-verify to toolchain 0.14.0

---
 manifest/channel-manifest.json | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/manifest/channel-manifest.json b/manifest/channel-manifest.json
index 0dfd7975..2efbbc5d 100644
--- a/manifest/channel-manifest.json
+++ b/manifest/channel-manifest.json
@@ -571,6 +571,16 @@
           "aliases": {
             "mint": ["executable", "mint"]
           }
+        },
+        {
+          "name": "verify",
+          "package": "miden-verify",
+          "version": "0.3.0",
+          "installed_executable": "miden-verify",
+          "artifacts": [
+            "https://github.com/walnuthq/miden-verify/releases/download/v0.3.0/miden-verify-aarch64-apple-darwin",
+            "https://github.com/walnuthq/miden-verify/releases/download/v0.3.0/miden-verify-x86_64-unknown-linux-gnu"
+          ]
         }
       ]
     }