Skip to content

v0.2.1.4-r1: allow newer tasty-quickcheck#77

Merged
andreasabel merged 2 commits intomasterfrom tasty-quickcheckJun 25, 2024

Commits

Commits on Jun 25, 2024