../ cadical-configure.patch 13-Sep-2022 03:10 380 cadical-makefile-in-respect-ar-2.0.0.patch 27-Jun-2024 23:11 363