diff options
| author | Graham Christensen <graham@grahamc.com> | 2017-11-06 13:11:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-06 13:11:04 -0500 |
| commit | 240b4f36a6467d1863b8402e057991a66a50a694 (patch) | |
| tree | dff7c4ac8e7d694caf01ca2b96a26acc1534cf2e /pkgs/development/python-modules/python-sql | |
| parent | 5549fa767fe9393dba635d615f6e4b7796b5a333 (diff) | |
| parent | 40124cd0cf474dd17959b5ae36c8a98112c173c0 (diff) | |
Merge pull request #31160 from mpickering/idris-10450
Add wrapper for idris exe for gcc/gmp runtime deps
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions