Processing control commands: > forwarded -1 > https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html Bug #959599 [src:frama-c] frama-c: FTBFS: Error: Unbound value const_of_big_int Set Bug forwarded-to-address to 'https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html'. > tags -1 fixed-upstream Bug #959599 [src:frama-c] frama-c: FTBFS: Error: Unbound value const_of_big_int Added tag(s) fixed-upstream.
-- 959599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959599 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
