Information for file 6_remove_ide_jdt.patch
| Name | 6_remove_ide_jdt.patch |
|---|---|
| Digest (sha256) | 4957a27f3814eefd7a31fca47bb130cf57074d2316aa7f48fcf336c187c97777 |
| Size | 1.02 KB |
| Modification time | Tue, 13 Aug 2019 03:42:14 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | jmc-7.1.0-2.20190524hg4c9efa5eb5b8.module_f31+5559+ae1ed734.src.rpm |
