diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2018-06-11 15:51:57 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2018-06-11 15:51:57 -0400 |
| commit | 812decd5c1abe497d44d7752fb295b69d6eed100 (patch) | |
| tree | 8e48ec126dfe5fd1b53d6ba14147ad5884d8b58d /pkgs/development/python-modules/python-sql | |
| parent | d1a2853933b49f3798c35b7cf8382bb788ee0320 (diff) | |
ghc: Default integer-simple usage based one whether GNU MP is available
The user's choice is still always respected
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions