Commit Graph

5 Commits (e10fe447f43a08890368d9fb618f97d6f7bffefa)

Author SHA1 Message Date
Robert-André Mauchin 6edb88b14e Bump quickcheck to 0.9
5 years ago
Igor Gnatenko 07630b0ced
Update to 1.1.0
5 years ago
Igor Gnatenko c5f547010b
Regenerate
6 years ago
Igor Gnatenko ff7a78ee70 Revert "Bump quickcheck to 0.7"
6 years ago
Igor Gnatenko f0dfc8d0de
Bump quickcheck to 0.7
6 years ago