diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-22 22:45:03 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-10-30 02:02:19 +0100 |
| commit | 51e68732f95049a04789a7a021533765d39ce110 (patch) | |
| tree | ce82ab0baf5464407052907cd0e7caade983443e /pkgs/development/python-modules/httpserver | |
| parent | 14291c2723aaa0c3d369258e5b47ad40b2382133 (diff) | |
coqPackages.dpdgraph: remove support for coq 8.7
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported
upstream.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions