fonts/tex-prodint/DESCR: d79c5be090b37454d3832b82ffbfdcd0a5879c949592d2a05ba19185d944f811
fonts/tex-prodint/Makefile: 326af6a83ee7577a90d0f000ce3074df74dc191a956da7e2f008b6b30f2bd894
fonts/tex-prodint/PLIST: 1626900d4a912ea2b4f04799da19e4e32869b45a8411307f9ce89cf32b510aba
fonts/tex-prodint/distinfo: 08dec6a2c886cffa9295c582bd86614f90b4910c9928ec732067d15516d08bed
