1tarball=libfplll-VERSION.tar.bz2 2sha1=4e997a182bfb515cca1c4cf65759a1f3380b081c 3md5=db4b1aa57ff3068992d4ea2ab5371a9e 4cksum=1585685039 5 6