commit 5bb1b88df8c66f20fb6b55ceb11b826989227690
Author: David Roman <davidroman96@gmail.com>
Date: Fri Sep 6 14:31:10 2024 +0200

sci-mathematics/frama-c: drop 23.1-r1, 24.0-r1

Signed-off-by: David Roman <davidroman96@gmail.com>

commit ad273a2b83e96ca07f5c0a211c91cd5dde0324d9
Author: Lucio Sauer <watermanpaint@posteo.net>
Date: Wed May 15 01:01:35 2024 +0200

sci-mathematics/*: fix variable order

Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>

commit d41b48be876719c39c30f3d52c41550f1f3f45ba
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Sun Apr 9 01:44:30 2023 +0200

sci-mathematics/frama-c: force gtk3

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 9ad23458b6a1ee0cdf0d45dded9eeb46905de53a
Author: Arthur Zamarin <arthurzam@gentoo.org>
Date: Thu Apr 6 18:13:37 2023 +0300

sci-mathematics/frama-c: fix dep on gtk useflag

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>

commit 1e95f22062b44b3708c09b56fb2334f41c633e2e
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500

*/*: update metadata schema uri

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>

commit ba5027e799e92a3d99980155e265cc907d63820a
Author: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Date: Thu Sep 8 12:24:17 2022 +0200

sci-mathematics/frama-c: quote FILESDIR variable

Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 323d2476f1a9acc0799755cd2170cd304fb3f3b0
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Fri Aug 19 19:27:49 2022 +0200

sci-mathematics/frama-c: bump to 25.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 13b13d22809a890a172790271c6f13449911453a
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Tue May 31 03:16:28 2022 +0200

sci-mathematics/frama-c: fix CFLAGS replacement

Closes: https://bugs.gentoo.org/847424
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 6f826a3a6d6b7328a362fe4830c0ddb4a0aacbe6
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Tue May 24 23:08:26 2022 +0200

sci-mathematics/frama-c: better fix for flags issue

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 86ecc49dcb6310bf9c9d1a02eaeeaf484d499a25
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Tue May 24 23:06:19 2022 +0200

sci-mathematics/frama-c: respect CFLAGS

Closes: https://bugs.gentoo.org/840559
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit d79091d43727ccec89fc820b59c33ed07c22aa09
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Thu Jan 13 21:33:11 2022 +0100

sci-mathematics/frama-c: bump to 24.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit eb2bcd3e7558e33cfd92ea3b62937dc8d4b2b498
Author: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Date: Wed Dec 15 12:17:22 2021 +0100

sci-mathematics/frama-c: drop UnusedInherits

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit 5554acd11e9dfd3a9fffb4c39ab11507b055c3fc
Author: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Date: Wed Dec 15 11:42:45 2021 +0100

sci-mathematics/frama-c: drop old

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

commit dab2150f988df03d747f307f497eb0a9dfedbd67
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Sat Sep 4 14:48:24 2021 +0200

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>

commit 00378c53612748b18b9e283cb7cece5deffe15f6
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Wed Aug 18 22:05:48 2021 +0200

sci-mathematics/frama-c: bump to 23.1

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 9c848300337861a1b241f3aa2811ead4c3d0d2c9
Author: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Mon Jun 28 16:14:32 2021 +0200

*/*: add lang="en" to <longdescription>

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

commit fad0bd71a5e8db76b299a08c323999552f3acb59
Author: Anna Vyalkova <cyber@sysrq.in>
Date: Sun May 16 19:41:42 2021 +0500

sci-mathematics/frama-c: fix AR and RANLIB

Closes: https://bugs.gentoo.org/785163
Closes: https://bugs.gentoo.org/784944
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>

commit 673dc2eb7385a3583a72f665bbf26298fbdc0649
Author: Anna Vyalkova <cyber@sysrq.in>
Date: Sun May 2 06:14:55 2021 +0500

sci-mathematics/*: inherit findlib eclass

Closes: https://bugs.gentoo.org/784677
Closes: https://bugs.gentoo.org/784671
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>

commit 0b1fcb2dc09b9c5e1b66dc7a0a8b5b6f15731f75
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Mon Apr 19 03:09:12 2021 +0200

sci-mathematics/frama-c: respect CFLAGS

Closes: https://bugs.gentoo.org/781647
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 9f99717f909fcb7eff1e3445b4d1f19129f112a3
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Tue Mar 30 21:51:52 2021 +0200

sci-mathematics/frama-c: doesn't build with why3-1.4.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit 8c76e6dc7464f096b5b69b6d12cf7bf24ca67289
Author: Andrew Ammerlaan <andrewammerlaan@riseup.net>
Date: Sun Mar 28 13:22:52 2021 +0200

sci-mathematics/frama-c: add MissingUseDepDefault

Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>

commit 1fe1afafb83d0a0310bacbf0657ab9a9f8cfd8ea
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Fri Nov 27 19:20:23 2020 +0100

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>