diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2020-04-10 23:44:06 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-10 23:44:06 -0400 |
commit | 53752d0374c5003a44bca175e2cb7ba77f5beda4 (patch) | |
tree | d6d76772175db8a1eadc7d404bcd87242a53d52b /pkgs/development/coq-modules/Verdi | |
parent | edc1fdd2111a8efe027e8c5d64732d3a94fc046b (diff) | |
parent | c304c1e7d0f5bc673c8e7626bfe09270caf5f733 (diff) | |
download | nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar.gz nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar.bz2 nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar.lz nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar.xz nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.tar.zst nixlib-53752d0374c5003a44bca175e2cb7ba77f5beda4.zip |
Merge pull request #83181 from matthewbauer/move-win-outputs
gcc: move .dll.a* outputs to $lib
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
0 files changed, 0 insertions, 0 deletions