Information for file /usr/share/doc/ocaml-dune/coq.html
| Name | /usr/share/doc/ocaml-dune/coq.html |
|---|---|
| Digest (sha256) | f9494da5072c54e234d6d1306c1090f625b4058b261cd3f701cbd8ef984e32c6 |
| Size | 52.00 KB |
| Modification time | Sun, 09 Oct 2022 06:03:21 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ocaml-dune-doc-3.4.0-2.fc37.noarch.rpm |
