Fault detection and integrity monitoring for kernel isolation structures
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
fdir.opam
+3
fdir.opam
···
10
10
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
11
11
license: "ISC"
12
12
tags: ["org:blacksun" "aerospace"]
13
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-fdir"
14
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-fdir/issues"
13
15
depends: [
14
16
"ocaml" {>= "5.1"}
15
17
"dune" {>= "3.21" & >= "3.0"}
···
36
38
"@doc" {with-doc}
37
39
]
38
40
]
41
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-fdir"
39
42
x-maintenance-intent: ["(latest)"]
40
43
x-quality-build: "2026-04-15"
41
44
x-quality-test: "2026-04-15"