(lang dune 3.21)

(name borealis)

(generate_opam_files true)

(license ISC)
(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")


(source (tangled gazagnaire.org/borealis))

(package
 (name borealis)
 (synopsis "DTN daemon with policy DSL for software-defined satellite networking")
 (description
  "Borealis is a Delay-Tolerant Networking daemon with an embedded policy
   language for software-defined satellite networking. It supports multi-tenant
   resource delegation, contact graph routing, and DTN-native control via
   admin bundles.")
 (depends
  (ocaml (>= 5.1))
  (bundle (>= 0.1))
  (cgr (>= 0.1))
  (tcpcl (>= 0.1))
  (cbort (>= 0.1))
  (delegation (>= 0.1))
  (eio (>= 1.0))
  (eio_main (>= 1.0))
  (cmdliner (>= 1.2))
  (fmt (>= 0.9))
  (logs (>= 0.7))
  vlog
  tty
  (alcotest :with-test)
  (crowbar :with-test)))