(coq.theory
 (name QuickChick)
 (package coq-quickchick)
 (libraries coq-quickchick.plugin))
