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

z3-debuginfo-4.13.0-2.mga10 RPM for armv7hl

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

Name: z3-debuginfo Distribution: Mageia
Version: 4.13.0 Vendor: Mageia.Org
Release: 2.mga10 Build date: Wed Mar 5 00:47:42 2025
Group: Development/Debug Build host: localhost
Size: 370711843 Source RPM: z3-4.13.0-2.mga10.src.rpm
Packager: wally <wally>
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

* Tue Mar 04 2025 wally <wally> 4.13.0-2.mga10
  + Revision: 2160477
  - rebuild for python3.13
* Tue Aug 27 2024 neoclust <neoclust> 4.13.0-1.mga10
  + Revision: 2091579
  - New version 4.13.0
* Sat Dec 30 2023 daviddavid <daviddavid> 4.12.4-1.mga10
  + Revision: 2024482
  - new version: 4.12.4
  - rebuild for py3.12

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/b6
/usr/lib/debug/.build-id/b6/a1baae91488f0202d4dc970f06093dcd8e7e64
/usr/lib/debug/.build-id/b6/a1baae91488f0202d4dc970f06093dcd8e7e64.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.13.0-2.mga10.arm
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.13.0-2.mga10.arm.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Mar 11 05:16:18 2025