Fri, 13 Dec 2024 22:18:12 UTC | login

Information for file /usr/src/debug/TeXmacs-2.1.2-9.fc41.riscv64/plugins/coq/src/tm_coq.c

Name/usr/src/debug/TeXmacs-2.1.2-9.fc41.riscv64/plugins/coq/src/tm_coq.c
Digest (sha256)3b5f777f4218c16f2b1576592255b18c603cc2a86e7066b4d1907bcb2bac904a
Size2.57 KB
Modification timeThu, 05 May 2022 15:27:06 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMTeXmacs-debugsource-2.1.2-9.fc41.riscv64.rpm