File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcadical-dev_1.7.4-1_amd64.deb375.5 KiB2024-Feb-15 13:30
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
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.5.3-2_amd64.deb352.4 KiB2022-Nov-15 06:29
libcadical-dev_1.5.3-2_amd64.deb310.6 KiB2022-Nov-15 06:29
cadical_1.5.3-2.dsc1.9 KiB2022-Nov-15 06:18
cadical_1.5.3-2.debian.tar.xz2.9 KiB2022-Nov-15 06:18
cadical_1.5.3.orig.tar.gz582.4 KiB2022-Nov-06 05:33