Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: java-z3-debuginfo | Distribution: Mageia |
Version: 4.12.4 | Vendor: Mageia.Org |
Release: 1.mga10 | Build date: Sat Dec 30 07:26:43 2023 |
Group: Development/Debug | Build host: localhost |
Size: 503802 | Source RPM: z3-4.12.4-1.mga10.src.rpm |
Packager: daviddavid <daviddavid> | |
Url: https://github.com/Z3Prover/z3 | |
Summary: Debug information for package java-z3 |
This package provides debug information for package java-z3. Debug information is useful when developing applications that use this package or when debugging this package.
MIT
* 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
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/44 /usr/lib/debug/.build-id/44/ae27bfde2509b7f3d943dfa61bb5b8c73f5ebb /usr/lib/debug/.build-id/44/ae27bfde2509b7f3d943dfa61bb5b8c73f5ebb.debug /usr/lib/debug/usr /usr/lib/debug/usr/lib /usr/lib/debug/usr/lib/z3 /usr/lib/debug/usr/lib/z3/libz3java.so-4.12.4-1.mga10.i386.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 25 02:32:35 2024