"Debian Bug Tracking System" <ow...@bugs.debian.org> writes:
> Thank you for filing a new Bug report with Debian. > > You can follow progress on this Bug here: 1039923: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1039923. I started some packages for my own use at https://salsa.debian.org/bremner/scipoptsuite The packaging is currently not suitable for upload (aka RC buggy), but it does solve a few of the initial technical problems.