(library
 (name Repro)
 (public_name repro.lib)
 (virtual_modules v))
