diff options
| author | luhux <luhux@outlook.com> | 2020-11-15 20:47:46 +0800 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-12-30 15:20:08 +0200 |
| commit | d1d092f198c7a934beab71eaf91a442a8561f767 (patch) | |
| tree | 5387dad3d156da2d6e64039bbff5104306a5cd09 /gnu/packages/coq.scm | |
| parent | 44a4810a752b466a4a94a0e61a58476c50878fbd (diff) | |
| download | guix-d1d092f198c7a934beab71eaf91a442a8561f767.tar.gz | |
gnu: Add sdcv.
* gnu/packages/dictionaries.scm (sdcv): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions