Sat, 14 Dec 2024 17:23:10 UTC | login

Information for file /usr/share/doc/alt-ergo/examples/valid/arith2.why

Name/usr/share/doc/alt-ergo/examples/valid/arith2.why
Digest (sha256)8c527a23c1366b1db12b948a7169a2f4a47689f569cc3ed77aaad527beb6b652
Size125.00 B
Modification timeFri, 20 May 2022 07:34:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMalt-ergo-2.3.3-17.fc40.riscv64.rpm