diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2024-02-28 21:29:24 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2024-02-28 21:29:30 +0100 |
| commit | bc36327398440d8f65e72a82c8fe164ff36fdf06 (patch) | |
| tree | 6260982c59d2f6a4fe6eda58d729ba506391c36d /gnu/packages/agda.scm | |
| parent | bc6840316c665e5959469e5c857819142cc4a47b (diff) | |
| download | guix-bc36327398440d8f65e72a82c8fe164ff36fdf06.tar.gz guix-bc36327398440d8f65e72a82c8fe164ff36fdf06.zip | |
gnu: Add emacs-activities.
* gnu/packages/emacs-xyz.scm (emacs-activities): New variable.
Change-Id: Ie1a0c88492f7aff47e2b0af8b8ef5e03143b7d21
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions