diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2021-07-20 22:19:12 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2021-07-20 22:19:12 +0300 |
| commit | 2c1cdbb19bf752fb41db9a80bda867f9619541e5 (patch) | |
| tree | 0a7eb7a9970473d690e5d77dc2af973b104051e9 /gnu/packages/coq.scm | |
| parent | 526171269d70f5c28820e2ac54c082def7068edd (diff) | |
| download | guix-2c1cdbb19bf752fb41db9a80bda867f9619541e5.tar.gz | |
gnu: xorg.scm: Add missing module import.
This is a follow-up to 1a4c7ddefe2a1c853fb99989e21f867e1965ec59. * gnu/packages/xorg.scm: Add missing module import.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions