fonts/tex-prodint-doc/DESCR: 27455f1626fa3172b65eabd9167269a350bf1bebec59edae4febcbb3f8481b2b
fonts/tex-prodint-doc/Makefile: ca7e054c0d212edc85aaae4e7a2d892a7c9fe8114676ebda2438cd95baecd49a
fonts/tex-prodint-doc/PLIST: 8360adf7c6abb17147e046608cda34a23f3c1040b1b5585e3a89e619e56ea6cd
fonts/tex-prodint-doc/distinfo: 2afee690a1494cd8e9386d29595641589dd31b4f24b87e8c40d7af4da09cd3b7
fonts/tex-prodint-doc/make.core: 
