Added quickcheck-dynamic.

This commit is contained in:
Andreas Ländle 2025-05-15 10:46:27 +02:00
parent 24814a74de
commit 46d2608154

View File

@ -5195,6 +5195,7 @@ packages:
- pinecone
- probability-polynomial
- pseudo-boolean
- quickcheck-dynamic
- refined-containers
- smith
- streaming-binary