files

0 directories 3 files

Name	Size	Modified
Up
cadical-configure.patch	380 B	09/13/2022 03:10:49 AM +00:00
cadical-makefile-in-respect-ar-2.0.0.patch	363 B	06/27/2024 11:11:14 PM +00:00
cadical-makefile.in-ar.patch	323 B	12/28/2021 06:09:45 PM +00:00