Fri, 21 Jun 2024 03:16:54 UTC | login

Information for file /usr/src/debug/opam-2.0.6-5.fc33.riscv64/_build/default/src/format/opamPp.ml

Name/usr/src/debug/opam-2.0.6-5.fc33.riscv64/_build/default/src/format/opamPp.ml
Digest (sha256)66892a79efdfbb67c813eda8bf911c33926e1ca8f844d3c742374e11e6baac0d
Size7.57 KB
Modification timeSun, 10 May 2020 08:32:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMopam-debugsource-2.0.6-5.fc33.riscv64.rpm