print/tex-thmtools-doc/DESCR: 1b4c20c68c6719d3d6ab4daecd493e8d09827feb3b098536fa046cba5d69c743
print/tex-thmtools-doc/Makefile: a82738e60e098f35bf0775d17ceb3fc7717187b29f457b33bf4d83a344171d5c
print/tex-thmtools-doc/PLIST: 0072fde4d0fc175ae1f894450b5ed7e0b982a55d843cbd7a614393eb677308ed
print/tex-thmtools-doc/distinfo: 0a461cb9aa8abaf00ee92b595ef3b45ded827580592936f2e63548475e36b2ac
