Sat, 16 Nov 2024 06:09:07 UTC | login

Information for file /usr/bin/detex

Name/usr/bin/detex
Digest (sha256)b7c487e7d4b1189719b49288d024d06a303c0bc11500b79c7104ecb1c5ac34d4
Size52.73 KB
Modification timeSat, 23 Jun 2018 09:05:32 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMtexlive-detex-7:20180414-12.0.riscv64.fc29.riscv64.rpm