Bug#910903: nmu: gecode_6.0.1-1

[Adrian Bunk]

Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: binnmu

nmu gecode_6.0.1-1 . ANY . unstable . -m "Rebuild with libmpfr6"