summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2022-02-11 08:25:12 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2022-02-11 08:25:12 +0100
commite32ea56f05a06d0e67e9099bf25bf919dabc1423 (patch)
tree4536071b0cc68865bdc7c5f63bcdda561adaa52b /gnu/packages/coq.scm
parent03833d041a5b42c2871e27a3ad9669d3f0fd5d94 (diff)
downloadguix-patches-e32ea56f05a06d0e67e9099bf25bf919dabc1423.tar
guix-patches-e32ea56f05a06d0e67e9099bf25bf919dabc1423.tar.gz
gnu: emacs-orgit: Update to 1.8.0.
* gnu/packages/emacs-xyz.scm (emacs-orgit): Update to 1.8.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions