Wed, 05 Feb 2025 18:42:52 UTC | login

Information for file /usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml

Name/usr/share/doc/why3-examples/examples/WP_revisited/wp2/why3session.xml
Digest (sha256)a4ae9ed9bbc61ddb7eb55cb45bccb6c41d434e8f766c33d1d40d8d3633e2b016
Size10.74 KB
Modification timeWed, 11 Dec 2024 13:21:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMwhy3-examples-1.8.0-1.fc42.noarch.rpm