gecode SONAME bump

I know I should've probably brought this up before uploading. Sorry.
I've uploaded gecode-1.3.1, which changed the SONAME to 8. It's
currently in the NEW queue and I would like to see it still get in
Etch. The new version fixes a major bug in the library yet the diff
is small. Gecode has no rdepends.
Is there anything I can do to help with this? I doubt it will make it
into testing on its own before gecode gets frozen.