diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com> | 2023-09-08 12:34:21 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-23 12:56:43 +0100 |
| commit | 33a1ee7f17338dbfa39bd00e449c667f345d41fa (patch) | |
| tree | 08cee83aac72b238209046a391d2fec3dfd982a3 /.gitignore | |
| parent | ff8e8d2f1ec467e7d348a4cb1fce631fc5efe45d (diff) | |
gnu: Add coq-for-coqtail.
* gnu/packages/coq.scm (coq-for-coqtail): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: I0c08a02f7937786b52039307c1019ae3474e625c
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions