diff options
| author | Julien Lepiller <[email protected]> | 2021-07-05 17:31:10 +0200 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2021-07-31 23:05:59 +0200 |
| commit | 96707d5a309d083b1a9bf1f0c8fc1251cf203337 (patch) | |
| tree | 791cbb5e031accd5a8224ab3e3aa6cb3668ce604 /gnu/packages/coq.scm | |
| parent | 7c6ace67bb8ef421965e3f1cc1a02caf54c813f5 (diff) | |
gnu: ocaml-zarith: Update to 1.12.
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions