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