coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported upstream.wip/yesman
parent
6a44365573
commit
41df85dd1b
Loading…
Reference in new issue