(library
 (public_name portal)
 (virtual_modules portal)
 (libraries lwt markup markup-lwt))