Skip to content

Comments

Bump QuickCheck bound again for stackage, etc.#17

Merged
augustss merged 1 commit intoaugustss:masterfrom
Mikolaj:master
Oct 11, 2025
Merged

Bump QuickCheck bound again for stackage, etc.#17
augustss merged 1 commit intoaugustss:masterfrom
Mikolaj:master

Commits

Commits on Oct 8, 2025