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