1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Description: adjust plugin files of sail
These files are arch independent and should be not in /usr/share
Author: Bo YU <vimer@debian.org>
Forwarded: not-needed
Last-Update: 2025-07-26
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/dune-project
+++ b/dune-project
@@ -36,7 +36,7 @@
(ocaml (>= 4.08.1))))
(package
- (sites (share plugins))
+ (sites (lib plugins))
(name libsail)
(synopsis "Sail is a language for describing the instruction semantics of processors")
(description "\
|
