miktex-hitex-bin: List of files

This package includes 4 files with a total size of 905647 bytes.