Wed, 01 Feb 2023 03:12:43 UTC

Information for file /usr/share/alt-ergo/smt_prelude.mlw

Name/usr/share/alt-ergo/smt_prelude.mlw
Digest (sha256)9880267611571da3e7b38a84c8816214661b4fa667dfe9bd7dedbb501e749470
Size962.00 B
Modification timeSat, 09 Oct 2010 15:21:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMalt-ergo-0.92.1-1.fc14.i686.rpm