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 | Tue, 26 Jun 2018 22:25:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | cduce-devel-0.6.0-33.fc29.riscv64.rpm |
