print/tex-thmtools/DESCR: c16eac3cedcca119275bbd205b35bf86a54ff4c55182602dc50179b3e2d528b2
print/tex-thmtools/Makefile: f5c8db80a2598378af4324b5bdb1be5b5e9c66b194f57445c8e21930ad0b0b8b
print/tex-thmtools/PLIST: 69070dfa7967dc909b3c7a1a4c14c4e27a89307b7c1278a0e6d929d7732984e9
print/tex-thmtools/distinfo: 7cdcbd75301c7fa1ff3c22f4d2f95dbadb5b3d6504b947c57167f440fd768b8f
