Bestandenoverzicht voor pakket libkido-optimizer-ipopt-dev in bullseye voor het platform all

/usr/share/doc/libkido-optimizer-ipopt-dev/changelog.Debian.gz
/usr/share/doc/libkido-optimizer-ipopt-dev/changelog.gz
/usr/share/doc/libkido-optimizer-ipopt-dev/copyright