Thu, 19 Dec 2024 06:48:08 UTC | login

Information for file /usr/share/doc/jed/doc/tm/jedfuns.tm

Name/usr/share/doc/jed/doc/tm/jedfuns.tm
Digest (sha256)7635e647f043e5fadc831e3454b48353328d06a33bfafb1493387f7cf3ab69db
Size2.49 KB
Modification timeMon, 14 Dec 2009 02:12:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMjed-0.99.19-24.fc37.riscv64.rpm