diff options
author | Felix Gruber <felgru@posteo.net> | 2021-12-18 13:36:58 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-20 15:28:14 +0100 |
commit | adc65e96916ebcd70d5b2b3899e7fee9d9c887c2 (patch) | |
tree | f581c4d09fde45297e3f937a1a932e3c022c1d86 /gnu/home | |
parent | fb6e3fdfa74a5040cab130aee7aabb693c4edfbb (diff) |
gnu: dune-typetree: Update to 2.7.1.
* gnu/packages/maths.scm (dune-typetree): Update to 2.7.1.
[arguments]: Parallelize build-tests phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/home')
0 files changed, 0 insertions, 0 deletions