Mon, 02 Dec 2024 07:15:05 UTC | login

Information for file /usr/lib/debug/usr/share/TeXmacs/plugins/coq/bin

Name/usr/lib/debug/usr/share/TeXmacs/plugins/coq/bin
Digest (sha256)
Size0.00 B
Modification timeSun, 29 Mar 2020 13:42:31 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMTeXmacs-debuginfo-1.99.12-2.fc33.riscv64.rpm