https://github.com/QuickChick/QuickChick
Raw File
Tip revision: ae0c2bc2a1308a44950c119e527c7d80d5d592e4 authored by Pierre Roux on 06 July 2024, 13:00:52 UTC
Adapt to https://github.com/coq/coq/pull/19310
Tip revision: ae0c2bc
dune
(alias
  (name default)
  (deps (package coq-quickchick)))
back to top