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