diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-05-25 10:57:40 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-07-18 10:45:19 +0800 |
| commit | 86ebaa278abe1caf3f14e8a64c9b84779eb8972f (patch) | |
| tree | a1f564af00f9e6899ef4d4ea7f9de8eaa79c8949 /gnu/packages/coq.scm | |
| parent | 482b30d426b53e7fdef14007ab8ba52b9b1d379c (diff) | |
| download | guix-86ebaa278abe1caf3f14e8a64c9b84779eb8972f.tar guix-86ebaa278abe1caf3f14e8a64c9b84779eb8972f.tar.gz | |
gnu: Add sddm-qt5.
* gnu/packages/display-managers.scm (sddm-qt5): New variable.
Change-Id: I84250b32b15bed7b0dc0bf819ce90f32a6e7ad6d
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions