aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorCayetano Santos <csantosb@inventati.org>2023-11-19 12:45:11 +0100
committerjgart <jgart@dismail.de>2023-11-19 06:56:48 -0600
commit761810d32a0550912b5bb36a0c9f60141bcb7d20 (patch)
treea45802ff5a6fb1c1ff4d0a509b271add86d63408 /gnu/packages/idris.scm
parent5cad6f721b8884b612178896f06cd69d5839402c (diff)
downloadguix-761810d32a0550912b5bb36a0c9f60141bcb7d20.tar.gz
guix-761810d32a0550912b5bb36a0c9f60141bcb7d20.zip
gnu: emacs-srht: Update to 0.4.
* gnu/packages/emacs-xyz.scm (emacs-srht): Update to 0.4. Change-Id: Id2c7d9a707040cab6b294bd6db21a38c9a4389ae Signed-off-by: jgart <jgart@dismail.de>
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions