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

z3-debuginfo-5.1.0-2.mga11 RPM for i686

From Mageia Cauldron for i686 / media / debug / core / release

Name: z3-debuginfo Distribution: Mageia
Version: 5.1.0 Vendor: Mageia.Org
Release: 2.mga11 Build date: Thu Oct 8 19:38:39 2026
Group: Development/Debug Build host: localhost
Size: 410363432 Source RPM: z3-5.1.0-2.mga11.src.rpm
Packager: daviddavid <daviddavid>
Url: https://github.com/Z3Prover/z3
Summary: Debug information for package z3
 
This package provides debug information for package z3.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

MIT

Changelog

* Thu Oct 08 2026 daviddavid <daviddavid> 5.1.0-2.mga11
  + Revision: 2376962
  - new version: 5.1.0
  - rebuild against java 25
* Sun Apr 27 2025 daviddavid <daviddavid> 4.14.1-1.1.mga10
  + Revision: 2179502
  - new version: 4.14.1
* Tue Mar 04 2025 wally <wally> 4.13.0-2.mga10
  + Revision: 2160477
  - rebuild for python3.13

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/2d5b9745cfd0f5e6ee89fe6bbe49744391777f
/usr/lib/debug/.build-id/5a/2d5b9745cfd0f5e6ee89fe6bbe49744391777f.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-5.1.0-2.mga11.i386.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Oct 10 05:53:26 2026