Tue, 05 Nov 2024 02:43:04 UTC | login

Information for file /usr/share/doc/flint-devel/html/_sources/introduction.rst.txt

Name/usr/share/doc/flint-devel/html/_sources/introduction.rst.txt
Digest (sha256)29d370b19091c7e5e0bf1e9bb7b4aa2505a9e702793c861f8f88b57e89e0aca7
Size2.99 KB
Modification timeFri, 17 Jun 2022 08:50:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMflint-devel-2.9.0-5.fc40.riscv64.rpm