You can search for identifiers within the package.
in-package search v0.2.0
mirage-unix
This package provides the MirageOS OS library for Unix targets, which handles the main loop and timers.
OS