diff options
| author | roconnor <roconnor@theorem.ca> | 2014-09-20 16:24:10 -0400 |
|---|---|---|
| committer | roconnor <roconnor@theorem.ca> | 2014-09-20 16:24:10 -0400 |
| commit | bbd58db13af435fde0f376c69c270e8a2853583b (patch) | |
| tree | 37d2d7d32a496b97cc797fdae028623cfc58cb7a /pkgs/development/python-modules/rangehttpserver | |
| parent | 1cbcd2baae7d4dae340fb09fe3690876c7935186 (diff) | |
| parent | 40e79043b02a6ecb9da8766cddf99b462ba3c0ed (diff) | |
Merge pull request #4133 from vbgl/coq-8-3
Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions