Package: release.debian.org Severity: normal User: [email protected] Usertags: binnmu
nmu gecode_6.0.1-1 . ANY . unstable . -m "Rebuild with libmpfr6"
- Bug#910903: nmu: gecode_6.0.1-1 Adrian Bunk
- Bug#910903: marked as done (nmu: gecode_6.... Debian Bug Tracking System
