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 | |
| parent | 1aed180d73ab97cd40db94ba40a69907ab3153a2 (diff) | |
| download | nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.gz nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.bz2 nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.lz nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.xz nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.tar.zst nixpkgs-329bf4c3e1f3c8020ab9e31ba652f6b13e713630.zip | |
linux-riscv: Remove.
risc-v changes are now upstream. See #49490
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions