Tue, 26 Nov 2024 12:02:42 UTC | login

Information for file /usr/include/z3/z3++.h

Name/usr/include/z3/z3++.h
Digest (sha256)fa45e2004613d2a7fcd233a3542d68529cf374d7d767e6dd98130c5b400aed30
Size142.10 KB
Modification timeMon, 19 Nov 2018 20:21:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMz3-devel-4.8.3-1.fc30.riscv64.rpm