Bug#966903: marked as done (gecode: FTBFS: gecode/flatzinc/parser.tab.cpp:526:10: fatal error: parser.tab.hpp: No such file or directory)

2020-08-09 Thread Debian Bug Tracking System
Your message dated Sun, 09 Aug 2020 06:18:40 + with message-id and subject line Bug#966903: fixed in gecode 6.2.0-5 has caused the Debian Bug report #966903, regarding gecode: FTBFS: gecode/flatzinc/parser.tab.cpp:526:10: fatal error: parser.tab.hpp: No such file or directory to be marked as

Bug#966903: marked as done (gecode: FTBFS: gecode/flatzinc/parser.tab.cpp:526:10: fatal error: parser.tab.hpp: No such file or directory)

2020-08-08 Thread Debian Bug Tracking System
Your message dated Sat, 08 Aug 2020 20:52:12 + with message-id and subject line Bug#966903: fixed in gecode 6.2.0-4 has caused the Debian Bug report #966903, regarding gecode: FTBFS: gecode/flatzinc/parser.tab.cpp:526:10: fatal error: parser.tab.hpp: No such file or directory to be marked as