print/tex-uhrzeit/DESCR: 54dee3bb38dcedc02506625cadbb1f1700634d9fbf3635486fc7f4a6cdd3303a
print/tex-uhrzeit/Makefile: 394fca838ab7fc6823418d7107f8cb5ffd728dad27d60ed7d2d431f7ad093f8e
print/tex-uhrzeit/PLIST: 37dc020ed9dd4beb5f67edcd09d585795d4f44f0ff36b834e0acaa30c44c68b7
print/tex-uhrzeit/distinfo: 46ae3a8bb8284aebdcbca2a0252f8b40dd9ca094649fb66e4c512383510adf05
