Information for file /usr/share/doc/cduce-devel/manual_interfacewithocaml.html
| Name | /usr/share/doc/cduce-devel/manual_interfacewithocaml.html |
|---|---|
| Digest (sha256) | 3307946ea4a97c954fc5a7a322f42a1d64ae12d85043897e1399d150f0b45a5d |
| Size | 17.38 KB |
| Modification time | Thu, 30 Aug 2018 14:29:25 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | cduce-devel-0.6.0-36.fc29.riscv64.rpm |
