Bug#947885: transition: gecode

2020-01-07 Thread Paul Gevers
Control: tags -1 confirmed Hi Kari, On 01-01-2020 18:55, Kari Pahula wrote: > I'm about to update gecode from 6.1.0 to 6.2.0 in unstable. SONAME > changes from 48 to 49. > > The only reverse dependency is minizinc which I also maintain. > Transitively minizinc-ide as well. All of these have

Bug#947885: transition: gecode

2020-01-01 Thread Kari Pahula
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: transition I'm about to update gecode from 6.1.0 to 6.2.0 in unstable. SONAME changes from 48 to 49. The only reverse dependency is minizinc which I also maintain. Transitively minizinc-ide as