Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
Standard ML
Latest commit abb6d7d Jun 10, 2014 kennwhite TrueCrypt v. 7.1a verified repository
Binary and source verified files for Windows, OSX and Linux TrueCrypt
v. 7.1a