Fri, 29 Nov 2024 15:28:26 UTC | login

Information for file /usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v

Name/usr/share/doc/why3-examples/examples/WP_revisited/wp2/wp2_WP_VC_compute_writes_2.v
Digest (sha256)374c48365a3e5915b843b74e66648f7f480d18bdf0e3a16c6f39559243ec7a43
Size14.10 KB
Modification timeThu, 18 Apr 2024 08:53:51 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMwhy3-examples-1.7.2-8.fc41.noarch.rpm