1(executable
2 (name jmap)
3 (public_name jmap)
4 (package jmap)
5 (optional)
6 (modules jmap)
7 (libraries jmap.eio eio_main))
8
9(executable
10 (name jmapq)
11 (public_name jmapq)
12 (package jmap)
13 (optional)
14 (modules jmapq)
15 (libraries jmap.eio eio_main re jsont.bytesrw))