diff options
| author | Alexander Krotov <krotov@iitp.ru> | 2020-02-11 11:33:13 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2020-02-11 12:19:27 -0500 |
| commit | 56973172c9a8744637d6506bdff485cd27ff9791 (patch) | |
| tree | 355607db936340b177704e278f76278661daea78 /gnu/packages/coq.scm | |
| parent | ab42204fbc075af65d17205a756168b440c32c63 (diff) | |
| download | patches-56973172c9a8744637d6506bdff485cd27ff9791.tar patches-56973172c9a8744637d6506bdff485cd27ff9791.tar.gz | |
gnu: Add mscgen.
* gnu/packages/graph.scm (mscgen): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions