[gecode-users] gecode 1.0.0 fails to build with gcc 4.2 snapshot

[Kari Pahula]

Hello.

Martin Michlmayr tried to build gecode 1.0.0 with gcc 4.2 snapshot,
unsuccessully.  Is this something that would concern 1.0.1 or the
upcoming 1.1.0(?)?

http://bugs.debian.org/361445