aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2019-03-04 19:42:10 +0100
committerPierre Neidhardt <mail@ambrevar.xyz>2019-03-04 19:42:10 +0100
commit7d3a78e731c87f336ea70597b6ae7506078d8931 (patch)
treea4e765612f2c48c9dce03125d75ff3d6e7672582 /gnu/packages/coq.scm
parent171234d572e720e06c34e83814d63fcadda06378 (diff)
downloadpatches-7d3a78e731c87f336ea70597b6ae7506078d8931.tar
patches-7d3a78e731c87f336ea70597b6ae7506078d8931.tar.gz
gnu: emacs-orgit: Update to 20190304.
* gnu/packages/emacs-xyz.scm (emacs-orgit): Update to 20190304.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions