Fri, 29 Mar 2024 11:25:24 CET | login

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

Name/usr/src/debug/varstored-guard-0.5.0/_build/default/src/main.ml
Digest (sha256)8adaba3800cfeb63e1efb6c93a8f7e679fb70598889b98f1604b0e5deba3c57b
Size5859
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