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

z3-debuginfo-4.12.4-1.mga10 RPM for aarch64

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

Name: z3-debuginfo Distribution: Mageia
Version: 4.12.4 Vendor: Mageia.Org
Release: 1.mga10 Build date: Sat Dec 30 07:42:40 2023
Group: Development/Debug Build host: localhost
Size: 386114239 Source RPM: z3-4.12.4-1.mga10.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

* Sat Dec 30 2023 daviddavid <daviddavid> 4.12.4-1.mga10
  + Revision: 2024482
  - new version: 4.12.4
  - rebuild for py3.12
* Thu Feb 09 2023 daviddavid <daviddavid> 4.12.1-1.mga9
  + Revision: 1939569
  - new version: 4.12.1
* Wed Jan 18 2023 daviddavid <daviddavid> 4.12.0-1.mga9
  + Revision: 1934220
  - new version: 4.12.0
  - drop upstreamed -data-race and -uninit patches
* Sun Jan 15 2023 daviddavid <daviddavid> 4.11.2-1.mga9
  + Revision: 1933246
  - new version: 4.11.2
  - add -data-race patch to fix segfault (bz 2157972)
  - add -uninit patch to fix use of an uninitialized value
  - use new OCaml macros
* Sun Jan 08 2023 daviddavid <daviddavid> 4.8.17-1.mga9
  + Revision: 1931575
  - rebuild for ocaml-zarith change
  + neoclust <neoclust>
  - New version 4.8.17
* Sat May 21 2022 pterjan <pterjan> 4.8.15-5.mga9
  + Revision: 1859659
  - Rebuild for OCaml 4.14
* Sat May 14 2022 pterjan <pterjan> 4.8.15-4.mga9
  + Revision: 1858159
  - Oops, I said provide
* Sat May 14 2022 pterjan <pterjan> 4.8.15-3.mga9
  + Revision: 1858158
  - Provide what is required by subpackages
* Sun Apr 24 2022 joequant <joequant> 4.8.15-2.mga9
  + Revision: 1852975
  - change z3 libname
* Fri Apr 22 2022 joequant <joequant> 4.8.15-1.mga9
  + Revision: 1852625
  - fix groups
  - imported package z3

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/12e747a35bb28491587ae74a35c39edccdcdc1
/usr/lib/debug/.build-id/b8/12e747a35bb28491587ae74a35c39edccdcdc1.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.12.4-1.mga10.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.12.4-1.mga10.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Apr 28 07:30:10 2024