Links for faircrypt
FairCrypt-1.6.0.tar.gz