File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cadical_1.7.4-1.debian.tar.xz3.9 KiB2024-Feb-15 13:29
cadical_1.7.4-1.dsc1.9 KiB2024-Feb-15 13:29
cadical_1.7.4-1_amd64.deb453.7 KiB2024-Feb-15 13:30
cadical_1.7.4.orig.tar.gz632.6 KiB2024-Feb-15 13:29
libcadical-dev_1.7.4-1_amd64.deb375.5 KiB2024-Feb-15 13:30