2017-05-26 14:30:34 +00:00
|
|
|
description = "VM Manager"
|
|
|
|
version = "%%VERSION_NUM%%"
|
2018-03-18 18:07:14 +00:00
|
|
|
requires = "rresult logs ipaddr x509 tls bos hex ptime ptime.clock.os astring duration asn1-combinators lwt tls.lwt decompress"
|
2017-05-26 14:30:34 +00:00
|
|
|
archive(byte) = "vmm.cma"
|
|
|
|
archive(native) = "vmm.cmxa"
|
|
|
|
plugin(byte) = "vmm.cma"
|
|
|
|
plugin(native) = "vmm.cmxs"
|