Information for file /usr/lib/opamroot/system/lib/message-switch-unix/message_switch_unix__Protocol_unix_scheduler.cmi
Name | /usr/lib/opamroot/system/lib/message-switch-unix/message_switch_unix__Protocol_unix_scheduler.cmi |
---|---|
Digest (sha256) | 3fb058c6cac9405765311b3c6f31f2ce3da4739d2bf0195f5ed671200b4032b8 |
Size | 10919 |
Modification time | Tue, 26 Mar 2019 12:07:30 CET |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | message-switch-devel-1.12.0-5.2.xcpng.x86_64.rpm |