Tue, 30 May 2023 22:25:25 UTC | login

Information for file /usr/share/doc/jflex/doc/manual.html

Name/usr/share/doc/jflex/doc/manual.html
Digest (sha256)696af9a222b672878b04187a1b5e904f3797b7133b9bd18866dab950c52db850
Size125.79 KB
Modification timeFri, 21 Sep 2018 06:44:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMjflex-1.7.0-9.el9.noarch.rpm