Name Last modified Size Description Parent Directory - cadical-makefile.in-ar.patch 2021-12-28 18:09 323 cadical-configure.patch 2022-09-13 04:10 380