(coq.theory
 (name SimpleIO)
 (package coq-simple-io)
 (libraries coq-simple-io.plugin))
