diff options
author | Piotr Bogdan <ppbogdan@gmail.com> | 2018-03-09 12:36:45 +0000 |
---|---|---|
committer | Piotr Bogdan <ppbogdan@gmail.com> | 2018-03-09 12:36:45 +0000 |
commit | f28e94a17915582cf30d54aa1d25d33acfc8ff48 (patch) | |
tree | 4c9b13a86580813bae977f68abac1ef6e3dce31e /.github | |
parent | 6625fb8a67bada3d1c502ca9f48f2a4dad713343 (diff) | |
download | nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar.gz nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar.bz2 nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar.lz nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar.xz nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.tar.zst nixpkgs-f28e94a17915582cf30d54aa1d25d33acfc8ff48.zip |
mps: fix build with gcc7
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions