Subject: [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!

From: Vivien Kraus <[email-masked]>
Date: Mon, 17 Jul 2023 19:32:13 +0200

Dear guix,

I’d like to play with frama-c, but the build fails. Adding zlib seems to fix
it. What do you think?

Best regards,

Vivien

Vivien Kraus (1):
  gnu: frama-c: depend on zlib

 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

base-commit: d08bd19de0b06d5da7f2c06fb733e245b566dd54
-- 
2.40.1