fonts/tex-doublestroke/DESCR: 5273760b1935d7271d6b4df43cc64a7c931d354048c861a74205cd7a94f34288
fonts/tex-doublestroke/Makefile: 98513cb32df402e935cd14148fa03c5efe4966d742d8c9bdbea0e21029330e5c
fonts/tex-doublestroke/PLIST: b424617ebb2aa3103c1702a58899c9a48125cae4114206da3a78cc818bd84961
fonts/tex-doublestroke/distinfo: c9167fafb61ba1a3808d7e3c96b295db08bd58e63fe837f03962e7a387715381
