Added quickcheck-effectful.

This commit is contained in:
Andreas Ländle 2026-07-29 19:03:17 +02:00
parent fc65b1e3c6
commit 8be8640486

View File

@ -5786,6 +5786,7 @@ packages:
- ptr
- pureMD5
- puresat
- quickcheck-effectful
- quickcheck-instances
- quickcheck-io
- quickcheck-simple