| Name | /usr/share/man/man1/texi2dvi.1.gz |
|---|---|
| Digest (sha256) | 8d3e08aa9218850ff074086239d13d5a43439186ed4d23543c5eeb420ff9e813 |
| Size | 2.10 KB |
| Modification time | Wed, 18 Oct 2023 21:15:22 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | texinfo-tex-7.1-2.fc41.riscv64.rpm |