Commit Graph

3 Commits (0e0f92d0fd6fefeb15cd30101e2c9bded60dbc3f)

Author SHA1 Message Date
Robert-André Mauchin 0e0f92d0fd Bump quickcheck to 0.9
6 years ago
Igor Gnatenko 166bad2558
Regenerate
6 years ago
Igor Gnatenko e0d5bf2153
Bump quickcheck to 0.7
7 years ago