Wed, 30 Oct 2024 20:29:17 CET | login

Information for file /usr/src/debug/squeezed-0.27.0/_build/default/src/memory_server.ml

Name/usr/src/debug/squeezed-0.27.0/_build/default/src/memory_server.ml
Digest (sha256)914fa64780ede7bf13b56b75478ce6c28b12f640ab9d219c4408f99c3813f8fa
Size12880
Modification timeWed, 30 Oct 2024 13:06:50 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMsqueezed-debuginfo-0.27.0-20.1.xcpng8.2.x86_64.rpm