diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2024-01-10 08:43:33 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2024-02-08 23:23:08 +0100 |
| commit | 41634d3b5f6a4bdc7b3c42b0bdff79850d0bbedc (patch) | |
| tree | 036cd6c249ecb1941c8d54f57dc12f4937b84fef /gnu/packages/ocaml.scm | |
| parent | 594a412231153b42378c82a82052e30a71b8cfb3 (diff) | |
gnu: frama-c: Update to 27.1.
* gnu/packages/maths.scm (frama-c): Update to 27.1.
(why3): Update to 1.6.0.
Change-Id: I74191e4274d58a88a772413875fbf7de4d243fec
Diffstat (limited to 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions