Information for file /usr/share/javadoc/jakarta-json/jakarta.json/jakarta/json/JsonNumber.html
| Name | /usr/share/javadoc/jakarta-json/jakarta.json/jakarta/json/JsonNumber.html |
|---|---|
| Digest (sha256) | 04d8580da3c7aa1543cee95d2663547fd83103e14c847ee3447e605947456187 |
| Size | 31.21 KB |
| Modification time | Fri, 20 Oct 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | jakarta-json-javadoc-2.1.3-1.fc40.noarch.rpm |
