diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-15 17:01:33 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 17:21:01 +0200 |
| commit | 05d4190587bd5111da18eb3b157bd7776a37bc30 (patch) | |
| tree | 079d4e93d625baab9063c617b8c6ba5dad04b20a /gnu/packages.scm | |
| parent | 28ce5085a0a4191c27aecdc085600acf585b607c (diff) | |
| download | guix-05d4190587bd5111da18eb3b157bd7776a37bc30.tar.gz guix-05d4190587bd5111da18eb3b157bd7776a37bc30.zip | |
gnu: why3: Update to 1.7.2.
* gnu/packages/maths.scm (why3): Update to 1.7.2.
Change-Id: Ie5a40b31c2c418fafbdbba52e875ac25a26fb12b
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages.scm')
0 files changed, 0 insertions, 0 deletions