(executable
 (name jmap)
 (public_name jmap)
 (package jmap)
 (optional)
 (modules jmap)
 (libraries jmap.eio eio_main))

(executable
 (name jmapq)
 (public_name jmapq)
 (package jmap)
 (optional)
 (modules jmapq)
 (libraries jmap.eio eio_main re jsont.bytesrw))
