Sun, 22 Dec 2024 14:21:24 UTC | login

Information for file /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.vo

Name/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.vo
Digest (sha256)3d9acbc5df6b3072ae68c44fd0732741a3a5fc4c83d79c74b41490010424c301
Size39.96 KB
Modification timeThu, 05 Oct 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgappalib-coq-1.5.3-6.fc40.riscv64.rpm