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))