librocsolver-dev_5.5.1-5_amd64.deb
librocsolver-dev_7.1.0-0ubuntu2_amd64.deb
librocsolver-doc_5.5.1-5_all.deb
librocsolver-doc_7.1.0-0ubuntu2_all.deb
librocsolver0-bench_7.1.0-0ubuntu2_amd64.deb
librocsolver0-tests_5.5.1-5_amd64.deb
librocsolver0-tests_7.1.0-0ubuntu2_amd64.deb
librocsolver0_5.5.1-5_amd64.deb
librocsolver0_7.1.0-0ubuntu2_amd64.deb