diff options
| author | Alberto Ruiz <aruiz@um.es> | 2010-07-27 12:06:39 +0000 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2010-07-27 12:06:39 +0000 |
| commit | e32a16b5d4fc66bee2f28b1b1f7ae8fb3f8a8cf4 (patch) | |
| tree | fb1cfa731b58891b50bd1373acf6c68004401410 /packages/special | |
| parent | c104df60266d5e0bc94e5b0a7eedc1d949975fc1 (diff) | |
compat with QuickCheck>=2.1.1
Diffstat (limited to 'packages/special')
0 files changed, 0 insertions, 0 deletions