Name Last modified Size Description Parent Directory - cadical-makefile.in-ar.patch 29-Dec-2021 02:09 323 cadical-configure.patch 13-Sep-2022 11:10 380