Sat, 30 Nov 2024 10:17:48 UTC | login

Information for file /usr/src/debug/ocaml-psmt2-frontend-0.4.0-16.fc40.riscv64/_build/default/src/lib/main.ml

Name/usr/src/debug/ocaml-psmt2-frontend-0.4.0-16.fc40.riscv64/_build/default/src/lib/main.ml
Digest (sha256)2335e96ce90f625cde5d61135b09084fa2c41f6041d66d4855677975a4d3a4d4
Size864.00 B
Modification timeThu, 25 Jan 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMocaml-psmt2-frontend-debugsource-0.4.0-16.fc40.riscv64.rpm