diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-05-22 13:33:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-24 18:24:16 +0200 |
| commit | 66fbffde1f8ad44318c75948575eab88a46e1328 (patch) | |
| tree | bcaece224a54afc32b1f4b2602243ecf83e2c954 /tests/glob.scm | |
| parent | 8f5371d08377123400444ed11bd1c1e41e803890 (diff) | |
gnu: Add coq-stdpp.
* gnu/packages/coq.scm (coq-stdpp): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'tests/glob.scm')
0 files changed, 0 insertions, 0 deletions