diff options
| author | Garek Dyszel <garekdyszel@disroot.org> | 2022-09-07 14:33:46 -0400 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-24 20:24:47 +0200 |
| commit | 501072af869b1bab87d8c292788854176fa58272 (patch) | |
| tree | 47d5899920ef7c6684f30adc4716f2af40e4f87a /.dir-locals.el | |
| parent | 17098178c1869fb86a3b29c79cdf39ba1f4820e7 (diff) | |
gnu: Add coq-mathcomp-bigenough.
* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions