diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 13:14:31 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-01-25 13:14:31 +0000 |
commit | d40b6801012613ee1fddcee95e012b01e7dc8360 (patch) | |
tree | 66c19568ecbd49f8b2f1b1caedb602c57eaf2565 /pkgs/os-specific | |
parent | 42bf99ef443f4f59e1972b42116407279c312e58 (diff) | |
download | nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.gz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.bz2 nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.lz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.xz nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.tar.zst nixlib-d40b6801012613ee1fddcee95e012b01e7dc8360.zip |
coq-8.4: fix build of ssreflect and mathcomp
Diffstat (limited to 'pkgs/os-specific')
0 files changed, 0 insertions, 0 deletions