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

Sophie

Sophie

distrib > Mageia > 9 > x86_64 > by-pkgid > 69f308347c2499abb8995ed55cfe0242

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

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

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

Description:

Ocaml 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:

:: :: ::