objective categorical abstract machine language personal data server
1(executable
2 (public_name pegasus)
3 (name main)
4 (package pegasus)
5 (libraries pegasus kleidos dream lwt lwt_ppx)
6 (preprocess
7 (pps lwt_ppx)))
8
9(executable
10 (public_name gen-keys)
11 (name gen_keys)
12 (package pegasus)
13 (libraries kleidos mirage-crypto-rng mirage-crypto-rng.unix base64))