diff options
| author | Wiktor Żelazny <wzelazny@vurv.cz> | 2019-10-04 15:21:57 +0200 |
|---|---|---|
| committer | Jakub Kądziołka <kuba@kadziolka.net> | 2020-02-22 22:14:41 +0100 |
| commit | 24719e8a0dc77bdbe637907501f4a337f571d5e2 (patch) | |
| tree | 688dca531b28a5203079716d25b63c183c4c8b5e /gnu/packages/agda.scm | |
| parent | 8017eb0ae8d7fee1669e909b116670da374d0ce3 (diff) | |
| download | patches-24719e8a0dc77bdbe637907501f4a337f571d5e2.tar patches-24719e8a0dc77bdbe637907501f4a337f571d5e2.tar.gz | |
gnu: Add aha.
* gnu/packages/textutils.scm (aha): new variable.
Signed-off-by: Jakub Kądziołka <kuba@kadziolka.net>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions