Commit Graph

4 Commits (e86291999c94fffb778c795bc9d6305011f9fbb5)

Author SHA1 Message Date
Robert-André Mauchin 8fc61646f9 Bump term to 0.6
5 years ago
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