DTN controller and policy language for satellite networks
Migrate dune-project files to tangled source format
Convert all packages from:
(source (uri https://tangled.org/handle/repo))
to:
(source (tangled handle/repo))
This uses dune 3.21's native tangled support for cleaner source
declarations. Also removes redundant homepage/bug_reports fields
that are auto-generated from tangled sources.
+8
-5
+5
-2
borealis.opam
+5
-2
borealis.opam
···
10
10
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
11
11
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
12
12
license: "ISC"
13
+
homepage: "https://tangled.org/gazagnaire.org/borealis"
14
+
bug-reports: "https://tangled.org/gazagnaire.org/borealis/issues"
13
15
depends: [
14
-
"dune" {>= "3.0"}
16
+
"dune" {>= "3.21"}
15
17
"ocaml" {>= "5.1"}
16
18
"bundle" {>= "0.1"}
17
19
"cgr" {>= "0.1"}
···
43
45
"@doc" {with-doc}
44
46
]
45
47
]
46
-
dev-repo: "https://tangled.org/gazagnaire.org/borealis"
48
+
dev-repo: "git+https://tangled.org/gazagnaire.org/borealis"
49
+
x-maintenance-intent: ["(latest)"]
+3
-3
dune-project
+3
-3
dune-project
···
1
-
(lang dune 3.0)
1
+
(lang dune 3.21)
2
2
3
3
(name borealis)
4
4
···
8
8
(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
9
9
(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
10
10
11
-
(source
12
-
(uri https://tangled.org/gazagnaire.org/borealis))
11
+
12
+
(source (tangled gazagnaire.org/borealis))
13
13
14
14
(package
15
15
(name borealis)