Fri, 29 Mar 2024 01:36:49 CET | login

Information for file /usr/src/debug/varstored-guard-0.5.0/_build/default/src/varstored_interface.ml

Name/usr/src/debug/varstored-guard-0.5.0/_build/default/src/varstored_interface.ml
Digest (sha256)2382d53c45886cc3f51fc579401de0684acd9353eaeb2af03e3105bb458c6476
Size8382
Modification timeThu, 09 Jan 2020 18:48:07 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMvarstored-guard-debuginfo-0.5.0-2.x86_64.rpm