| Name | /usr/share/javadoc/jakarta-json/jakarta.json/jakarta/json/JsonPatch.Operation.html |
|---|---|
| Digest (sha256) | f083f2448324d4a01bcbe09fdf934ef493bd92b53aa1dc82c60a91c3d5a2382b |
| Size | 26.40 KB |
| Modification time | Fri, 20 Oct 2023 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | jakarta-json-javadoc-2.1.3-1.fc39.noarch.rpm |