1tarball=flint-VERSION.tar.gz 2sha1=b506c3870a3d976796ec0b6224659e9c82dcceae 3md5=3b9bc754ef9e974ad4d0cf808d9809df 4cksum=1290600232 5 6