diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 07:41:25 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 13:06:11 +0000 |
| commit | 42bf99ef443f4f59e1972b42116407279c312e58 (patch) | |
| tree | 2785524b86d29e48e2f6158ab46665ae46226328 /pkgs/development/python-modules/httpserver | |
| parent | 635ac15845b3759244c09a922e0d41c4929f6d61 (diff) | |
coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6
by adding `findlib` as a build input.
Also clean `default.nix` a little bit.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions