aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorBrian Leung <bkleung89@gmail.com>2019-08-21 00:15:18 +0200
committerOleg Pykhalov <go.wigust@gmail.com>2019-08-23 06:21:12 +0300
commitd78bc23411b1351ff9495a511c22b27d17f9226f (patch)
treebe7b96c360267b3d192c79e1d0c57b57c7ab633f /gnu/packages/coq.scm
parent0ccc9a0f5bb89b239d56157ea66f8420fcec5ba6 (diff)
downloadguix-d78bc23411b1351ff9495a511c22b27d17f9226f.tar.gz
guix-d78bc23411b1351ff9495a511c22b27d17f9226f.zip
gnu: Add emacs-ample-regexps.
* gnu/packages/emacs-xyz.scm (emacs-ample-regexps): New variable. Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions