Sat, 30 Nov 2024 06:34:36 UTC | login

Information for file /usr/share/doc/why3-examples/examples/TODO

Name/usr/share/doc/why3-examples/examples/TODO
Digest (sha256)21a02855cc547ef66bf1f7dfe82d0fab54feb3b91ee4fc2f0d1633f57da513fb
Size457.00 B
Modification timeThu, 18 Apr 2024 08:53:51 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMwhy3-examples-1.7.2-7.fc41.noarch.rpm