Information for file /usr/share/doc/gnatcoll/html/_static/documentation_options.js
| Name | /usr/share/doc/gnatcoll/html/_static/documentation_options.js |
|---|---|
| Digest (sha256) | 0955b2ddaccdbcb474c26b93e6dff093288227c57ef15e64339b789f9a93258e |
| Size | 329.00 B |
| Modification time | Thu, 18 Jul 2024 08:00:00 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | gnatcoll-core-doc-2:24.0.0-4.fc41.noarch.rpm |