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/applications/science/logic | |
| parent | 635ac15845b3759244c09a922e0d41c4929f6d61 (diff) | |
| download | nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar.gz nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar.bz2 nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar.lz nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar.xz nixlib-42bf99ef443f4f59e1972b42116407279c312e58.tar.zst nixlib-42bf99ef443f4f59e1972b42116407279c312e58.zip | |
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/applications/science/logic')
0 files changed, 0 insertions, 0 deletions