Information for file texdef.tar.xz
Name | texdef.tar.xz |
---|---|
Digest (sha256) | d365515e5666bca6591c05663ed6ca2eee86d3493535f6ce443e8d55e70b6b1a |
Size | 9.19 KB |
Modification time | Thu, 28 Feb 2019 03:07:40 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-r--r-- |
Flags | |
RPM | texlive-base-7:20200327-18.0.riscv64.fc33~bootstrap.src.rpm |