Sat, 01 Oct 2022 21:18:12 UTC

Information for file 5-remove-ide-jdt.patch

Name5-remove-ide-jdt.patch
Digest (sha256)4957a27f3814eefd7a31fca47bb130cf57074d2316aa7f48fcf336c187c97777
Size1043
Modification timeFri, 31 Jul 2020 18:21:26 UTC
Usermockbuild
Groupmockbuild
Mode-rw-r--r--
Flags
RPMjmc-7.1.1-5.module_el8.2.0+460+6583c1d0.src.rpm