boolector_3.2.4-1.debian.tar.xz
boolector_3.2.4-1.dsc
boolector_3.2.4-1_amd64.deb
boolector_3.2.4-1_i386.deb
boolector_3.2.4.orig.tar.gz