Description: avoid not-in-Debian crate easy-smt
Author: Jonas Smedegaard <dr@jones.dk>
Forwarded: not-needed
Last-Update: 2025-10-09
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -136,7 +136,6 @@
   "cranelift",
   "cranelift/isle/fuzz",
   "cranelift/isle/islec",
-  "cranelift/isle/veri/veri_engine",
   "cranelift/isle/veri/veri_ir",
   "cranelift/serde",
   "crates/bench-api",