diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 12:18:36 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 12:47:45 +0100 |
| commit | c107e50a0eec0e805c7578e45998376fea39cff2 (patch) | |
| tree | a538f00e3ddf212c4f45db302c92dac3c7a7a668 /gnu/packages/coq.scm | |
| parent | e4cdadc18d284f77b02d92d19205998596168a23 (diff) | |
| download | guix-c107e50a0eec0e805c7578e45998376fea39cff2.tar.gz | |
gnu: mumi: Update to 0.0.0-7.6653e2d.
* gnu/packages/mail.scm (mumi): Update to 0.0.0-7.6653e2d. [inputs]: Add guile-sqlite3.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions