Filename Modification time Size cadical-configure.patch 2022-09-13 05:10 CEST 380 B cadical-makefile.in-ar.patch 2021-12-28 19:09 CET 323 B