[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!
From: |
Vivien Kraus |
Subject: |
[bug#64685] [PATCH 0/1] Frama-C needs zlib as an input! |
Date: |
Mon, 17 Jul 2023 19:32:13 +0200 |
User-agent: |
Evolution 3.46.4 |
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
- [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!,
Vivien Kraus <=