Binaries
flatzinc
(
flatzinc_6.0.0-2_kfreebsd-i386.deb
)
SHA1: 870385f62c522586a5a0d24acd5bd2952c91cefd
SHA256: f2d50bd638c80c3bce0d9080f8c89eead3e7a95a03b5d3c95877345070e6a94c
Size: 65,736 bytes
SHA1: 54cfe5449fa550438bbf643d138ce727d57cfb15
SHA256: 5081e6b9557a7c7530a77622d89c63a0f66ffc8130ac81943cdd3108ac9533b0
Size: 2,622,168 bytes
SHA1: 8d45fd76e5a17885c43993b3b8358658ebd49833
SHA256: 101f13079fcb5c1cc5884fcb9b16f0fd322d55df0b2d9657bd5a6587862bc7ef
Size: 498,556 bytes
SHA1: 111704bddedbee8d14351432d6891f728a9c9000
SHA256: 7eeaec6ab05303329145555768c03296e46406e531ca8a7533dac4ad38847a37
Size: 255,316 bytes
SHA1: bcc215e128ed6f711acd677fd106edc8d36082e6
SHA256: ae64e7ba82a5214790cb4c892cd1acd0ea428b5fce6d1eff1a9ab215cbdd33ca
Size: 176,992 bytes
Other checksums
libgecodegist46-dbgsym_6.0.0-2_kfreebsd-i386.deb
SHA1: 8cb22788bca0e7849a3ad6bd349f040c80a51658
Size: 3,062,072 bytes
libgecodeflatzinc46-dbgsym_6.0.0-2_kfreebsd-i386.deb
SHA1: c396d456263fb058bf0a7c1afcc1331398dbf2c7
Size: 1,766,228 bytes
libgecode46-dbgsym_6.0.0-2_kfreebsd-i386.deb
SHA1: 56844fa5a0bcf38ef9652cd28346c29f84eecee2
Size: 33,991,408 bytes
flatzinc-dbgsym_6.0.0-2_kfreebsd-i386.deb
SHA1: b59157ef9dd9ed712a0022d44344678454bfbaf4
Size: 108,848 bytes