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 /HACKING | |
parent | 57e508d1c13cc95a37cf44ed429d1d0b97ef763d (diff) | |
download | guix-patches-ec23bae682ab144179fad8d5ed6c2545d85384ad.tar guix-patches-ec23bae682ab144179fad8d5ed6c2545d85384ad.tar.gz |
gnu: Add coq-equations.
* gnu/packages/coq.scm (coq-equations): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions