diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-15 17:01:34 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 17:21:14 +0200 |
| commit | e6413c6f517f450c9c4cdfb4362b0c7ca75323db (patch) | |
| tree | 482c054d3b6160433843f068995a39f469d9dbcb /gnu/packages.scm | |
| parent | 05d4190587bd5111da18eb3b157bd7776a37bc30 (diff) | |
| download | guix-e6413c6f517f450c9c4cdfb4362b0c7ca75323db.tar.gz guix-e6413c6f517f450c9c4cdfb4362b0c7ca75323db.zip | |
gnu: why3: Use new style.
* gnu/packages/maths.scm (why3): Use new style and move arguments
above input fields.
Change-Id: Ia9cb04cafe426d7f20c5efb10ca540572dbd3be9
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages.scm')
0 files changed, 0 insertions, 0 deletions