(library
 (public_name test_odoc_driver)
 (name test_odoc_driver))
