Information for file /usr/share/texlive/texmf-dist/tex/latex/misc/coqdoc.sty
| Name | /usr/share/texlive/texmf-dist/tex/latex/misc/coqdoc.sty |
|---|---|
| Digest (sha256) | c1dc4992f8e3f60632c3f1c45f7a774e0db83bd9385eccf0af3e762a09f85184 |
| Size | 5.41 KB |
| Modification time | Mon, 18 Dec 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coq-core-8.17.1-8.fc40.riscv64.rpm |
