Thu, 14 Nov 2024 04:50:31 UTC | login

Information for file /usr/bin/isabelle_client

Name/usr/bin/isabelle_client
Digest (sha256)f33b09fa1191e022d1ea5937bad68e892a7d2b20b40325f427ec7213ca5d5067
Size22.24 MB
Modification timeMon, 05 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMwhy3-1.7.2-8.fc41.riscv64.rpm