diff options
| author | Zheng Junjie <[email protected]> | 2024-07-08 17:40:15 +0800 |
|---|---|---|
| committer | Zheng Junjie <[email protected]> | 2024-07-18 10:45:29 +0800 |
| commit | 6c473f7400f36f7c27f12cff2b1a15d00ab915f3 (patch) | |
| tree | 4925d6da920f1770551ab071922660f39ce561b7 /gnu/packages/coq.scm | |
| parent | 2522a6313ffb78e0d86a3a2e1faf1c4790056ec1 (diff) | |
gnu: Add knotifyconfig-5.
* gnu/packages/kde-frameworks.scm (knotifyconfig-5): New variable.
Change-Id: I2ec7225c02018bbd0aabb3f55ec228f82c646c04
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions