diff options
author | Shea Levy <shlevy@xps13.shealevy.com> | 2018-11-06 09:42:45 -0500 |
---|---|---|
committer | Shea Levy <shlevy@xps13.shealevy.com> | 2018-11-06 09:42:45 -0500 |
commit | 329bf4c3e1f3c8020ab9e31ba652f6b13e713630 (patch) | |
tree | baaaea228788f2357836edff380cae3f8cd17d87 /pkgs/development/coq-modules/mathcomp/default.nix | |
parent | 1aed180d73ab97cd40db94ba40a69907ab3153a2 (diff) | |
download | nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.gz nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.bz2 nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.lz nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.xz nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.zst nixlib-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.zip |
linux-riscv: Remove.
risc-v changes are now upstream. See #49490
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp/default.nix')
0 files changed, 0 insertions, 0 deletions