version = "0.9"
requires(mt) = "threads,io,satsolver,napkin,rapids"
archive(mt,byte) = "packetology.cma"
archive(mt,native) = "packetology.cmxa"
