File: 2001_easy-smt.patch

package info (click to toggle)
rust-wasmtime 27.0.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 53,064 kB
  • sloc: ansic: 4,020; sh: 562; javascript: 542; cpp: 254; asm: 175; ml: 96; makefile: 55
file content (16 lines) | stat: -rw-r--r-- 443 bytes parent folder | download | duplicates (2) 
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",