aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorBrian Leung <bkleung89@gmail.com>2019-06-25 04:44:02 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2019-06-25 08:54:40 +0200
commitdddfabb93e04ef2c5ca393cf54daaaed9ca61a40 (patch)
tree0cb539a661e11cbb8dde28ccaef620032fee31b0 /gnu/packages/agda.scm
parent398d9ef16bdbeba24a0e8a44eb5d2c4927c3a363 (diff)
downloadguix-dddfabb93e04ef2c5ca393cf54daaaed9ca61a40.tar.gz
guix-dddfabb93e04ef2c5ca393cf54daaaed9ca61a40.zip
gnu: emacs-alert: Update to 1.3.
* gnu/packages/emacs-xyz.scm (emacs-alert): Update to 1.3.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions