CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
1(lang dune 3.21)
2(using mdx 0.4)
3
4(name cfdp)
5
6(generate_opam_files true)
7
8
9(source (tangled gazagnaire.org/ocaml-cfdp))
10
11(authors "Thomas Gazagnaire")
12
13(maintainers "Thomas Gazagnaire")
14
15(license ISC)
16
17(package
18 (name cfdp)
19 (synopsis "CCSDS File Delivery Protocol (CCSDS 727.0-B-5)")
20 (tags (org:blacksun aerospace codec.ccsds network))
21 (description
22 "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.")
23 (depends
24 (ocaml (>= 5.1))
25 (checkseum (>= 0.5))
26 (nox-crc (>= 0.1))
27 (fmt (>= 0.9))
28 wire
29 (alcotest (and :with-test (>= 1.7)))
30 (mdx :with-test)
31 (nox-csv :with-test)
32 (alcobar :with-test)
33 (eio_main :with-test))
34)
35
36(package
37 (name cfdp-eio)
38 (synopsis "CFDP file transfer over TCP with Eio")
39 (tags (org:blacksun aerospace network eio))
40 (description
41 "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.")
42 (depends
43 (ocaml (>= 5.1))
44 (cfdp (= :version))
45 (eio (>= 1.0))
46 (fpath (>= 0.7))
47 (fmt (>= 0.9))
48 (mdx :with-test)
49 (nox-csv :with-test)
50 (logs (>= 0.7)))
51)