diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 18:28:15 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 21:21:22 +0200 |
| commit | 42d5f769fb940912b2a64e8d0b2528e492684ef5 (patch) | |
| tree | 48be7eea74e1c9a914c03d13de3f4bb730b1fc88 /Makefile.am | |
| parent | b4d97ef2dee113eec1307207874253c4a2e39e39 (diff) | |
gnu: dune: Update to 4.4.1.
* gnu/packages/ocaml.scm (dune): Update to 4.4.1.
* gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions