François-Xavier Carton 556d223d1e sci-mathematics/why3: respect CFLAGS & LDFLAGS ...

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

2021-04-19 03:15:31 +02:00

..

chaco

sci-mathematics/chaco: it's not a libraru

2021-04-12 09:56:38 +02:00

frama-c

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

2021-03-30 21:51:52 +02:00

why3

sci-mathematics/why3: respect CFLAGS & LDFLAGS

2021-04-19 03:15:31 +02:00