File microtex.obsinfo of Package microtex

name: microtex
version: 0.0.1+git.611~1fcce6f
mtime: 1647192952
commit: 1fcce6f6f2a49c7c66f280dfab98ba05b0a71e1f