Sun, 22 Dec 2024 13:06:41 UTC | login

Information for file 0001-Port-to-JFlex-1.7.0.patch

Name0001-Port-to-JFlex-1.7.0.patch
Digest (sha256)eea6083c026a3fb7f8e1a79d7d96c777eb5c50bdc441b34b56d14838a9be85ba
Size1.69 KB
Modification timeWed, 29 Jul 2020 19:26:42 UTC
Usermockbuild
Groupmock
Mode-rw-r--r--
Flags
RPMqdox-0:2.0.0-3.fc33.src.rpm