https://github.com/AuditProject/truecrypt-verified-mirror
link