Commit Graph

5 Commits

Author SHA1 Message Date
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
Andrew Ammerlaan
5554acd11e sci-mathematics/frama-c: drop old
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
2021-12-15 11:42:45 +01:00
François-Xavier Carton
00378c5361 sci-mathematics/frama-c: bump to 23.1
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-09-04 15:07:38 +02:00
François-Xavier Carton
1fe1afafb8 sci-mathematics/frama-c: new package
This is a bump of version in ::science.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2021-01-09 17:46:15 +01:00