Bug#879917: marked as done (libgambit4-dev: fails to upgrade from 'sid' - trying to overwrite /usr/include/gambit.h)

Your message dated Fri, 12 Oct 2018 20:44:22 + with message-id and subject line Bug#879917: fixed in gambc 4.8.8-3.1 has caused the Debian Bug report #879917, regarding libgambit4-dev: fails to upgrade from 'sid' - trying to overwrite /usr/include/gambit.h to be marked as done. This means

Bug#879917: marked as done (libgambit4-dev: fails to upgrade from 'sid' - trying to overwrite /usr/include/gambit.h)

Your message dated Fri, 05 Jan 2018 16:19:15 + with message-id and subject line Bug#879917: fixed in gambc 4.8.8-2 has caused the Debian Bug report #879917, regarding libgambit4-dev: fails to upgrade from 'sid' - trying to overwrite /usr/include/gambit.h