Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/frama-c-aorai
Commit message (Collapse)AuthorAgeFilesLines
* */*: 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/+45
| | | | 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/+46
| | | | 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/+57
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>