diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-06-06 14:01:47 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-06-06 15:06:02 +0000 |
| commit | 281b26533d461c83ab4b39510d672e7d2a21616f (patch) | |
| tree | 60c6265e5e19c325e910944efa3d71440d899372 /pkgs/development/python-modules/python-sql | |
| parent | 680f67829f7acee4fca6156bea39cd5b5f6c6b7d (diff) | |
coqPackages.QuickChick: init at 1.1.0 for Coq 8.9
Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions