aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2020-07-28 15:52:00 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2020-07-28 15:52:00 +0200
commit0c121f484a5ffaff80449af1cdf420b690cffcdd (patch)
treebba1697fba1d2395395f07756b647973f635ea2b /gnu/packages/agda.scm
parentc088aa2988ef82289c87ebfd6d07d8f1464dd8f0 (diff)
downloadguix-0c121f484a5ffaff80449af1cdf420b690cffcdd.tar
guix-0c121f484a5ffaff80449af1cdf420b690cffcdd.tar.gz
gnu: emacs-popup: Update to 0.5.8.
* gnu/packages/emacs-xyz.scm (emacs-popup): Update to 0.5.8.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions