3 Commits

Author	SHA1	Message	Date
Lucio Sauer	ad273a2b83	sci-mathematics/*: fix variable order ... Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Julien Roy <julien@jroy.ca>	2024-05-14 20:59:22 -04:00
Yuan Liao	05ee35a216	sci-mathematics/frama-c-reduc: Update Manifest ... Signed-off-by: Yuan Liao <liaoyuan@gmail.com>	2022-08-23 13:04:15 -07:00
François-Xavier Carton	323d2476f1	sci-mathematics/frama-c: bump to 25.0 ... Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>	2022-08-19 19:30:31 +02:00