summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorAlex Kost <alezost@gmail.com>2019-01-07 22:50:01 +0300
committerAlex Kost <alezost@gmail.com>2019-01-07 22:52:46 +0300
commit912f0541a3b2ae52f3f2d81391f5fbb3161e5625 (patch)
tree5d32bc3b64b52806a4caca947361219e43458ff0 /gnu/packages/coq.scm
parent40c7476af8d2fdd06d466f904d5a2513e7ff3431 (diff)
downloadguix-patches-912f0541a3b2ae52f3f2d81391f5fbb3161e5625.tar
guix-patches-912f0541a3b2ae52f3f2d81391f5fbb3161e5625.tar.gz
gnu: emacs-guix: Update to 0.5.1.1.
* gnu/packages/emacs.scm (emacs-guix): Update to 0.5.1.1.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions