gazagnaire.org
DTN controller and policy language for satellite networks
1(lang dune 3.21)
2
3(name borealis)
4
5(generate_opam_files true)
6
7(license ISC)
8(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
9(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
10
11
12(source (tangled gazagnaire.org/borealis))
13
14(package
15 (name borealis)
16 (synopsis "DTN daemon with policy DSL for software-defined satellite networking")
17 (description
18 "Borealis is a Delay-Tolerant Networking daemon with an embedded policy
19 language for software-defined satellite networking. It supports multi-tenant
20 resource delegation, contact graph routing, and DTN-native control via
21 admin bundles.")
22 (depends
23 (ocaml (>= 5.1))
24 (bundle (>= 0.1))
25 (cgr (>= 0.1))
26 (tcpcl (>= 0.1))
27 (cbort (>= 0.1))
28 (delegation (>= 0.1))
29 (eio (>= 1.0))
30 (eio_main (>= 1.0))
31 (cmdliner (>= 1.2))
32 (fmt (>= 0.9))
33 (logs (>= 0.7))
34 vlog
35 tty
36 (alcotest :with-test)
37 (crowbar :with-test)))