Sat, 14 Dec 2024 18:23:13 UTC | login

Information for file /usr/share/doc/alt-ergo/examples/AB-Why3-plugin/p4_34.why

Name/usr/share/doc/alt-ergo/examples/AB-Why3-plugin/p4_34.why
Digest (sha256)23992610c1719218a4f4bad2a4d7cdfef4e2c00b3d9bf67e766eb7c3389bb5c7
Size6.34 KB
Modification timeFri, 16 Mar 2018 11:04:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMalt-ergo-2.3.3-17.fc40.riscv64.rpm