Liste des fichiers du paquet libkido-optimizer-ipopt0.1 dans buster pour l'architecture arm64
/usr/lib/libkido-optimizer-ipopt.so.0.1 /usr/lib/libkido-optimizer-ipopt.so.0.1.0 /usr/share/doc/libkido-optimizer-ipopt0.1/changelog.Debian.arm64.gz /usr/share/doc/libkido-optimizer-ipopt0.1/changelog.Debian.gz /usr/share/doc/libkido-optimizer-ipopt0.1/changelog.gz /usr/share/doc/libkido-optimizer-ipopt0.1/copyright