../ scip-8.0.2.tgz 22-Nov-2022 14:32 11155725 scip-8.0.3.tgz 27-Apr-2023 21:57 9526371 scip-8.0.4.tgz 21-Aug-2023 21:44 9537602 scip-8.1.0.tgz 19-Dec-2023 04:31 11171216