Fri, 22 Nov 2024 15:25:17 CET | login

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

Name/usr/src/debug/varstored-guard-0.6.2/_build/default/src/varstored_interface.ml
Digest (sha256)d3661baac39e4c3c6aa6345f32c466844575414ff47ba841d00b370b6f884051
Size8350
Modification timeWed, 18 Oct 2023 12:25:32 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMvarstored-guard-debuginfo-0.6.2-8.xcpng8.2.x86_64.rpm