diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-04 00:59:50 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-04 01:04:22 +0100 |
| commit | 42678debec324e586a63ad8311a231b0c17dfea1 (patch) | |
| tree | 5a86fc6d3b9987516663e0fcea4cb2508e7def9f /gnu/packages/coq.scm | |
| parent | 553199c59e1e3b711d0ae64c130250a589e05909 (diff) | |
| download | guix-42678debec324e586a63ad8311a231b0c17dfea1.tar guix-42678debec324e586a63ad8311a231b0c17dfea1.tar.gz | |
gnu: doctest: Update to 2.3.6.
* gnu/packages/check.scm (doctest): Update to 2.3.6.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions