RPMsg inter-partition messaging
Add (source ...) stanzas to subtree dune-projects
38 subtrees lacked a (source ...) stanza in their dune-project, so
their generated .opam files had no dev-repo: field. That broke
downstream tooling that uses dev-repo to identify the subtree
(notably the root.opam external-dep filter, which couldn't tell
internal packages from external ones).
Add (source (tangled gazagnaire.org/<subtree>)) to each, matching
the URL configured in sources.toml. dune regenerates dev-repo:,
homepage: and bug-reports: in every affected .opam.
+5
+2
dune-project
+2
dune-project
+3
rpmsg.opam
+3
rpmsg.opam
···
7
7
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8
8
license: "ISC"
9
9
tags: ["org:blacksun" "codec.binary" "system"]
10
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-rpmsg"
11
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-rpmsg/issues"
10
12
depends: [
11
13
"dune" {>= "3.21"}
12
14
"ocaml" {>= "5.1"}
···
32
34
"@doc" {with-doc}
33
35
]
34
36
]
37
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-rpmsg"
35
38
x-maintenance-intent: ["(latest)"]
36
39
x-quality-build: "2026-04-15"
37
40
x-quality-fuzz: "2026-04-15"