| Name | 0002-Port-to-latest-version-of-Servlet-API.patch |
|---|---|
| Digest (sha256) | 653dce606b9c3871d2b04f997e065e53484e871b7105c4bc665b720638f2de92 |
| Size | 2.11 KB |
| Modification time | Fri, 17 Jan 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | jakarta-server-pages-2.3.6-18.fc42.src.rpm |