mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-09 15:13:31 -04:00
Code Issues Packages Projects Releases Wiki Activity
34,125 Commits 1 Branch 0 Tags
396c9dde93fa795b3fb026dbbd1aaaae0a5164aa
Commit Graph

4 Commits

Author SHA1 Message Date
David Roman
30fe0558e5 sci-mathematics/frama-c-*: drop 23.1 and 24.0 
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-09-06 14:27:23 +02: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
François-Xavier Carton
d79091d437 sci-mathematics/frama-c: bump to 24.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-01-13 21:35:58 +01:00
François-Xavier Carton
dab2150f98 sci-mathematics/frama-c: split plugins from main ebuild 
USE flags are not meant for this (causing recompilation of everything
when changing plugins configuration). In addition, this solves the
problem of the main frama-c ebuild having too much USE flags.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-09-04 15:07:39 +02:00