../ librocsolver-dev_5.5.1-4_amd64.deb 10-Nov-2023 10:42 54496 librocsolver-doc_5.5.1-4_all.deb 10-Nov-2023 09:41 206688 librocsolver0-tests_5.5.1-4_amd64.deb 10-Nov-2023 10:42 3327476 librocsolver0_5.5.1-4_amd64.deb 10-Nov-2023 10:42 10957440 rocsolver_5.5.1-4.debian.tar.xz 10-Nov-2023 09:16 10456 rocsolver_5.5.1-4.dsc 10-Nov-2023 09:16 2749 rocsolver_5.5.1.orig.tar.gz 21-Aug-2023 21:09 726171