diff options
| author | Felix Gruber <felgru@posteo.net> | 2021-12-18 13:36:51 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-20 15:28:13 +0100 |
| commit | 9e5cdc4a6c33a650c006ed6ce34d4f6c59b29b79 (patch) | |
| tree | 191bac3c72def7e90308b792b76c4e814d5942bb /gnu/packages/coq.scm | |
| parent | 3bfcc63c310e022e806a101e3f67aa87ba709409 (diff) | |
| download | guix-patches-9e5cdc4a6c33a650c006ed6ce34d4f6c59b29b79.tar guix-patches-9e5cdc4a6c33a650c006ed6ce34d4f6c59b29b79.tar.gz | |
gnu: dune-geometry: Update to 2.7.1.
* gnu/packages/maths.scm (dune-geometry): Update to 2.7.1.
[arguments]: Parallelize build-tests phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions