Fri, 08 Nov 2024 11:50:49 UTC | login

Information for file /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo

Name/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
Digest (sha256)bfbcb2022d4284d4493cdfa13b3079bd7634f873c949ec96495a5332fe2cc707
Size122.27 KB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflocq-4.2.0-2.fc41.riscv64.rpm