diff options
| author | Robin Green <greenrd@greenrd.org> | 2020-09-06 17:34:22 +0100 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-07 08:49:03 +0200 |
| commit | bdf3f5a403a5c2e859506e0e84edece1557f6da3 (patch) | |
| tree | d927b0fa9f4ee4db93fadfbdc994b202bd4e6216 /gnu/machine | |
| parent | 07fea753295d4b9c3ade5bb217cd72fb5294c040 (diff) | |
gnu: coq-equations: Update 1.2.1-8.10-2.
* gnu/packages/coq.scm (coq-equations): Update to 1.2.1-8.10-2.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions