diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2021-11-21 15:15:49 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2021-11-21 15:17:32 +0100 |
| commit | f0a30bf8aac0f2178543f9cd629011eb85f6df48 (patch) | |
| tree | 47d2cc1210be582282842acbc99fa23abd09fb62 /gnu/packages/coq.scm | |
| parent | 6972c4f21247b6b5802c0f6e0b4240e4ba4d0223 (diff) | |
gnu: ibus-theme-tools: Do not delete check phase.
* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions