Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

z3-4.8.5-1.fc30 RPM for armv7hl

From Fedora 30 updates for armhfp / Packages / z

Name: z3 Distribution: Fedora Project
Version: 4.8.5 Vendor: Fedora Project
Release: 1.fc30 Build date: Sat Jun 22 22:50:39 2019
Group: Unspecified Build host: buildvm-armv7-14.arm.fedoraproject.org
Size: 341892 Source RPM: z3-4.8.5-1.fc30.src.rpm
Packager: Fedora Project
Url: https://github.com/Z3Prover/z3
Summary: Satisfiability Modulo Theories (SMT) solver
Z3 is a satisfiability modulo theories (SMT) solver; given a set of
constraints with variables, it reports a set of values for those
variables that would meet the constraints.  The Z3 input format is an
extension of the one defined by the SMT-LIB 2.0 standard.  Z3 supports
arithmetic, fixed-size bit-vectors, extensional arrays, datatypes,
uninterpreted functions, and quantifiers.

Provides

Requires

License

MIT

Changelog

* Sat Jun 22 2019 Jerry James <loganjerry@gmail.com> - 4.8.5-1
  - New upstream version
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
  - OCaml 4.08.0 (beta 3) rebuild.
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.4-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Mon Dec 24 2018 Jerry James <loganjerry@gmail.com> - 4.8.4-1
  - New upstream version
  - Drop -no-sse patch, now handled upstream
* Wed Nov 28 2018 Jerry James <loganjerry@gmail.com> - 4.8.3-1
  - New upstream version
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 4.8.1-1
  - New upstream version
  - Drop python2 subpackage (bz 1634981)
* Fri Sep 07 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-5
  - Build with SSE2 support on 32-bit x86
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.7.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-4
  - OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
  - OCaml 4.07.0-rc1 rebuild.
* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 4.7.1-2
  - Rebuilt for Python 3.7
* Tue May 22 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-1
  - New upstream version (bz 1581516)
  - Drop upstreamed -vector patch
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sun Dec 24 2017 Jerry James <loganjerry@gmail.com> - 4.6.0-1
  - New upstream version (bz 1527531)
  - Add a python3 subpackage
* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 4.5.0-8
  - Python 2 binary package renamed to python2-z3
    See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 4.5.0-7
  - OCaml 4.06.0 rebuild.
  - Add dependency on ocaml-num.
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 4.5.0-6
  - OCaml 4.05.0 rebuild.
* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 4.5.0-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 4.5.0-4
  - OCaml 4.04.2 rebuild.

Files

/usr/bin/z3
/usr/lib/.build-id
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/0e3283698c1ad96ef12b2b337baf0578584a5c
/usr/share/doc/z3
/usr/share/doc/z3/README.md
/usr/share/doc/z3/RELEASE_NOTES


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 17 00:51:05 2019