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 /gnu/packages/search.scm | |
parent | 8f5371d08377123400444ed11bd1c1e41e803890 (diff) | |
download | guix-patches-66fbffde1f8ad44318c75948575eab88a46e1328.tar guix-patches-66fbffde1f8ad44318c75948575eab88a46e1328.tar.gz |
gnu: Add coq-stdpp.
* gnu/packages/coq.scm (coq-stdpp): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/search.scm')
0 files changed, 0 insertions, 0 deletions