File: 2001_easy-smt.patch

package info (click to toggle)
rust-wasmtime 26.0.1%2Bdfsg-10
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 50,656 kB
  • sloc: ansic: 4,003; sh: 561; javascript: 542; cpp: 254; asm: 175; ml: 96; makefile: 55
file content (16 lines) | stat: -rw-r--r-- 443 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
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",