(alias
  (name default)
  (deps (package coq-quickchick)))
