diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-07 17:57:23 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 16:27:26 +0200 |
| commit | 28ce5085a0a4191c27aecdc085600acf585b607c (patch) | |
| tree | f193fca59adb9a150b644850ef60e90a4c13073e /scripts | |
| parent | 3b9e1cdc709155da7ac5dc5a13e60ea77fa5ef68 (diff) | |
| download | guix-28ce5085a0a4191c27aecdc085600acf585b607c.tar.gz | |
gnu: frama-c: Update to 28.1.
* gnu/packages/maths.scm (frama-c): Update to 28.1. Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5 Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions