Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 9 > x86_64 > media > core-release > by-pkgid > 0b620aba048b9d3fe8399b00e9efa88f

lib64z3_4-4.12.1-1.mga9.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Name: lib64z3_4
• Version: 4.12.1
• Release: 1.mga9
• Epoch:
• Group: Sciences/Mathematics
• License: MIT
• Url: https://github.com/Z3Prover/z3
• Summary: Library for applications that use z3 functionality

• Architecture: x86_64
• Size: 24883664
• Distribution: Mageia
• Vendor: Mageia.Org
• Packager: daviddavid <daviddavid>

• OptFlags: -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fasynchronous-unwind-tables
• Cookie: localhost 1675917140
• Buildhost: localhost

Sources packages:

• z3-4.12.1-1.mga9

Other version of this rpm:

• lib64z3_4-4.12.1-1.mga9.aarch64
• lib64z3_4-4.12.1-1.mga9.x86_64