Sun, 16 Jun 2024 07:21:26 UTC | login

Information for file /usr/src/debug/TeXmacs-1.99.12-2.fc33.riscv64/src/Data/Convert/Coq/parse_vernac.cpp

Name/usr/src/debug/TeXmacs-1.99.12-2.fc33.riscv64/src/Data/Convert/Coq/parse_vernac.cpp
Digest (sha256)c8e6a37678999734149a1fa9b544c261e55dd240dccb26b1bebfdf087840f7c0
Size27.60 KB
Modification timeFri, 13 Dec 2019 09:58:57 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMTeXmacs-debugsource-1.99.12-2.fc33.riscv64.rpm