CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
opam: retag 20+ packages with canonical E915 vocabulary
Covers every package whose .opam was missing tags, misspelled a
singleton tag, or only carried a foreign org marker. The canonical
vocabulary now lives in .merlint as E915's topics: list; this pass
makes the monorepo pass E915 on the packages whose dune-project is
the source of truth.
Cleanups: drop singletons cop1/sle/sdls/uslp/s3/sdk; rename log to
logging (json-logs, vlog); add org:blacksun to formerly-Mirage-only
packages (ca-certs, tar, tls, x509, crypto-ec).
Additions to packages missing tags: cfdp-eio, cop1-eio, ltp-eio,
scc-eio, sdls-eio, sle-eio, yamlrw-eio, yamlrw-unix, ocaml-merlin,
scitt-atp, atp-lexicon-scitt, and 10 ocaml-atp subpackages.
+2
+2
dune-project
+2
dune-project
···
16
16
(package
17
17
(name cfdp)
18
18
(synopsis "CCSDS File Delivery Protocol (CCSDS 727.0-B-5)")
19
+
(tags (org:blacksun aerospace codec ccsds network))
19
20
(description
20
21
"Pure OCaml implementation of CFDP for reliable file transfer in space communications. Supports Class 1 (unacknowledged) and Class 2 (acknowledged) transfers with NAK-based retransmission.")
21
22
(depends
···
30
31
(package
31
32
(name cfdp-eio)
32
33
(synopsis "CFDP file transfer over TCP with Eio")
34
+
(tags (org:blacksun aerospace network eio))
33
35
(description
34
36
"Drives CFDP state machines with real I/O over Eio TCP connections. Supports Class 1 (unacknowledged) file transfers with length-prefixed PDU framing. Same Sender/Receiver architecture as Borealis but using the standalone cfdp library.")
35
37
(depends