SPAKE2/SPAKE2+ password-authenticated key exchange for OCaml
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
spake2.opam
+3
spake2.opam
···
11
11
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
12
12
license: "MIT"
13
13
tags: ["org:blacksun" "crypto"]
14
+
homepage: "https://tangled.org/gazagnaire.org/ocaml-spake2"
15
+
bug-reports: "https://tangled.org/gazagnaire.org/ocaml-spake2/issues"
14
16
depends: [
15
17
"dune" {>= "3.21"}
16
18
"ocaml" {>= "4.08"}
···
41
43
"@doc" {with-doc}
42
44
]
43
45
]
46
+
dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-spake2"
44
47
x-maintenance-intent: ["(latest)"]
45
48
x-quality-build: "2026-04-15"
46
49
x-quality-fuzz: "2026-04-15"