Index of /kali-linux-archive/pool/main/c/cbmc/

../
cbmc_6.6.0-4_amd64.deb                             07-Jun-2025 10:13            22363208
cbmc_6.6.0-4_i386.deb                              07-Jun-2025 10:13            23430104
jbmc_6.6.0-4_amd64.deb                             07-Jun-2025 10:13             8701348
jbmc_6.6.0-4_i386.deb                              07-Jun-2025 10:13             9216352