diff options
author | bb2020 <bb2020@users.noreply.github.com> | 2022-01-22 00:31:21 +0300 |
---|---|---|
committer | bb2020 <bb2020@users.noreply.github.com> | 2022-01-29 12:51:54 +0300 |
commit | b25719bf88572c5fc0a55007da9e1926cb797eda (patch) | |
tree | 83c876efe8c2d53316d61a661cacef34cd4ac4d8 /pkgs/top-level/coq-packages.nix | |
parent | c1d884944e08c8e9b49de6037394f0ac1847bf71 (diff) |
nixos/mbpfan: update documentation
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions