Sophie: java-z3-4.12.1-1.mga9 x86_64

Sophie

Sophie

distrib > Mageia > cauldron > x86_64 > media > core-release > by-pkgid > 57b1885c4b03dfd4ef5a81d62f4cd228

java-z3-4.12.1-1.mga9.x86_64.rpm

Name: java-z3
Version: 4.12.1
Release: 1.mga9
Epoch:
Group: Sciences/Mathematics
License: MIT
Url: https://github.com/Z3Prover/z3
Summary: Java interface to z3

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

Description:

Java interface to z3.

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:

:: :: ::