Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/frama-c-sparecode
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/frama-c-*: drop 23.1 and 24.0David Roman2024-09-063-124/+0
| | | | Signed-off-by: David Roman <davidroman96@gmail.com>
* sci-mathematics/*: fix variable orderLucio Sauer2024-05-143-6/+6
| | | | | Signed-off-by: Lucio Sauer <watermanpaint@posteo.net> Signed-off-by: Julien Roy <julien@jroy.ca>
* */*: update metadata schema uriAnna (cybertailor) Vyalkova2023-03-041-1/+1
| | | | Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
* sci-mathematics/frama-c: bump to 25.0François-Xavier Carton2022-08-192-0/+63
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/frama-c: bump to 24.0François-Xavier Carton2022-01-132-0/+62
| | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
* sci-mathematics/frama-c: split plugins from main ebuildFrançois-Xavier Carton2021-09-043-0/+70
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>