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
36,364 Commits 1 Branch 0 Tags
d855981cd82aa2ceae49df8b34bf8e850e172fc8
Commit Graph

23 Commits

Author SHA1 Message Date
Lucio Sauer
b22ec9eb1c sci-mathematics/*: drop inactive maintainer 
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
 2025-06-23 08:58:03 +02:00
David Roman
5bb1b88df8 sci-mathematics/frama-c: drop 23.1-r1, 24.0-r1 
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-09-06 14:31:10 +02:00
Lucio Sauer
ad273a2b83 sci-mathematics/*: fix variable order 
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>
 2024-05-14 20:59:22 -04:00
François-Xavier Carton
d41b48be87 sci-mathematics/frama-c: force gtk3 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2023-04-09 01:51:19 +02:00
Arthur Zamarin
9ad23458b6 sci-mathematics/frama-c: fix dep on gtk useflag 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
 2023-04-06 18:13:37 +03:00
Anna (cybertailor) Vyalkova
1e95f22062 */*: update metadata schema uri 
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
 2023-03-04 18:56:32 +05:00
Andrew Ammerlaan
ba5027e799 sci-mathematics/frama-c: quote FILESDIR variable 
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2022-09-08 12:24:17 +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
13b13d2280 sci-mathematics/frama-c: fix CFLAGS replacement 
Closes: https://bugs.gentoo.org/847424
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-05-31 03:16:28 +02:00
François-Xavier Carton
6f826a3a6d sci-mathematics/frama-c: better fix for flags issue 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-05-24 23:30:01 +02:00
François-Xavier Carton
86ecc49dcb sci-mathematics/frama-c: respect CFLAGS 
Closes: https://bugs.gentoo.org/840559
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2022-05-24 23:30:00 +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
eb2bcd3e75 sci-mathematics/frama-c: drop UnusedInherits 
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2021-12-15 12:17:22 +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
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
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
Alessandro Barbieri
9c84830033 */*: add lang="en" to <longdescription> 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2021-06-28 16:15:30 +02:00
Anna Vyalkova
fad0bd71a5 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>
 2021-05-16 21:11:06 +05:00
Anna Vyalkova
673dc2eb73 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>
 2021-05-02 07:19:40 +05:00
François-Xavier Carton
0b1fcb2dc0 sci-mathematics/frama-c: respect CFLAGS 
Closes: https://bugs.gentoo.org/781647
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-04-19 03:15:32 +02:00
François-Xavier Carton
9f99717f90 sci-mathematics/frama-c: doesn't build with why3-1.4.0 
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
 2021-03-30 21:51:52 +02:00
Andrew Ammerlaan
8c76e6dc74 sci-mathematics/frama-c: add MissingUseDepDefault 
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
 2021-03-28 13:22:52 +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