SHA512 (tanglet-1.6.1.1-src.tar.bz2) = d65bc14f44ed1fa1ddae8f90c2aa62fb5d14ea964e36d544916856d9b6b93009509d4d8adf17fd4a45555732fb9b656f24661b2eec52a980bdb8f20512a38ff3