9d402a0a4e2fe6eb116299514d4d0c52f106c1b0  tetex-src-3.0.tar.xz