# OASIS_START
# DO NOT EDIT (digest: 276ae14b2a9464e7342f1332b66d2d86)
version = "1.0.5"
description = "Xen event channel bindings"
requires = "unix lwt bigarray"
archive(byte) = "xen_evtchn.cma"
archive(byte, plugin) = "xen_evtchn.cma"
archive(native) = "xen_evtchn.cmxa"
archive(native, plugin) = "xen_evtchn.cmxs"
exists_if = "xen_evtchn.cma"
package "unix" (
 version = "1.0.5"
 description = "Xen event channel bindings"
 requires = "unix lwt lwt.unix bigarray xen-evtchn"
 archive(byte) = "xen_evtchn_unix.cma"
 archive(byte, plugin) = "xen_evtchn_unix.cma"
 archive(native) = "xen_evtchn_unix.cmxa"
 archive(native, plugin) = "xen_evtchn_unix.cmxs"
 exists_if = "xen_evtchn_unix.cma"
 package "activations" (
  version = "1.0.5"
  description = "Xen event channel bindings"
  requires = "unix lwt lwt.unix bigarray xen-evtchn xen-evtchn.unix"
  archive(byte) = "xen_evtchn_unix_activations.cma"
  archive(byte, plugin) = "xen_evtchn_unix_activations.cma"
  archive(native) = "xen_evtchn_unix_activations.cmxa"
  archive(native, plugin) = "xen_evtchn_unix_activations.cmxs"
  exists_if = "xen_evtchn_unix_activations.cma"
 )
)
# OASIS_STOP

