1 virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_types.cmi \
2 ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi ../lib/kernel.cmi
3 virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_types.cmx \
4 ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx ../lib/kernel.cmx