diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-11-29 18:30:15 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-11-29 18:34:21 +0000 |
| commit | 431c5649930ec48260204cd3afca9c03e75f6ff7 (patch) | |
| tree | 6a04c3e8366ede3913dd68c3ec3018ecb806093b /pkgs/development/python-modules/python-sql | |
| parent | f0d7e808b28282a9cd4b8eaffd02418dae8b1779 (diff) | |
hol_light: fix build with Camlp5-6.17
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions