diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2018-11-29 23:13:01 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2018-11-29 23:16:06 +0100 |
| commit | 477fceb1e3a35e95e53e748fcdf6eed27a7a9120 (patch) | |
| tree | f01b65d9fb299e651e670f4203075cbb425f763e /COPYING | |
| parent | fa45b22d4e5a64037f63576b99b8a91e5b198e30 (diff) | |
| download | patches-477fceb1e3a35e95e53e748fcdf6eed27a7a9120.tar patches-477fceb1e3a35e95e53e748fcdf6eed27a7a9120.tar.gz | |
gnu: coq: Update to 8.8.2.
* gnu/packages/ocaml.scm (coq): Update to 8.8.2.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions