Thu, 28 Mar 2024 20:55:41 CET | login

Information for file /usr/share/man/man3/Set.OrderedType.3o.gz

Name/usr/share/man/man3/Set.OrderedType.3o.gz
Digest (sha256)dfcaec2f250171364a3abaf162e775731c14ea519ecb89c1d8a6cb11610e4b2f
Size418
Modification timeThu, 13 Sep 2018 13:46:44 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMocaml-docs-4.06.1-1.el7.centos.x86_64.rpm