Information for file /usr/share/doc/ocaml-dune/_sources/coq.rst.txt
| Name | /usr/share/doc/ocaml-dune/_sources/coq.rst.txt |
|---|---|
| Digest (sha256) | 85455d8bd566eb35178e74c773b08c74fe9dfaddf1ffd3cc9ad6cc0ef9a451d2 |
| Size | 26.16 KB |
| Modification time | Fri, 24 May 2024 23:09:55 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ocaml-dune-doc-3.15.3-2.fc41.noarch.rpm |