diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-02-13 12:34:40 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-02-13 22:21:41 +0100 |
| commit | ec23bae682ab144179fad8d5ed6c2545d85384ad (patch) | |
| tree | f38b774eaef848b3996232615915786d045a8615 /gnu/packages/patches/coda-use-system-libs.patch | |
| parent | 57e508d1c13cc95a37cf44ed429d1d0b97ef763d (diff) | |
gnu: Add coq-equations.
* gnu/packages/coq.scm (coq-equations): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/packages/patches/coda-use-system-libs.patch')
0 files changed, 0 insertions, 0 deletions