diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2018-05-04 20:47:48 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2018-05-04 21:30:53 +0200 |
| commit | 066d05f0839352f94fb6f882778c7054d87314b2 (patch) | |
| tree | c28632d7b9f791f66c55c52fb7c0549e08fa9066 /.dir-locals.el | |
| parent | 206af0dfcf4b8311c3cd83bc7d647103145efbf6 (diff) | |
| download | guix-066d05f0839352f94fb6f882778c7054d87314b2.tar.gz | |
gnu: coq-bignums: Update to 8.8.0.
* gnu/packages/ocaml.scm (coq-bignums): Update to 8.8.0.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions