(library
 (name belenios_platform)
 (public_name belenios-platform)
 (virtual_modules belenios_version platform))
