platex__source: List of files

This package includes 42 files with a total size of 815794 bytes.