diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2020-11-14 10:15:47 +0800 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2020-11-14 10:23:07 +0800 |
| commit | 7f9888e53f4632be80d1e7c09fc91a9d0b556236 (patch) | |
| tree | 125343359af5ba8a862f72600819533327d11659 /gnu/packages/coq.scm | |
| parent | 0404b28dc74348e984dffe303481652c46b0b940 (diff) | |
| download | guix-7f9888e53f4632be80d1e7c09fc91a9d0b556236.tar.gz | |
gnu: Add sx.
* gnu/packages/xdisorg.scm (sx): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions