(alias
  (name default)
  (deps (package coq-simple-io)))
