Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-psmt2-frontend-debuginfo | Distribution: Mageia |
Version: 0.4.0 | Vendor: Mageia.Org |
Release: 2.mga9 | Build date: Tue Mar 7 21:00:38 2023 |
Group: Development/Debug | Build host: localhost |
Size: 1514106 | Source RPM: ocaml-psmt2-frontend-0.4.0-2.mga9.src.rpm |
Packager: kekepower <kekepower> | |
Url: https://github.com/OCamlPro-Coquera/psmt2-frontend | |
Summary: Debug information for package ocaml-psmt2-frontend |
This package provides debug information for package ocaml-psmt2-frontend. Debug information is useful when developing applications that use this package or when debugging this package.
ASL 2.0
* Tue Mar 07 2023 kekepower <kekepower> 0.4.0-2.mga9 + Revision: 1948331 - Add a GitHub PR to fix a trivial typo * Mon Mar 06 2023 kekepower <kekepower> 0.4.0-1.mga9 + Revision: 1947902 - Update to version 0.4.0 * Wed May 18 2022 pterjan <pterjan> 0.1-14.mga9 + Revision: 1858775 - Rebuild for OCaml 4.14 * Tue Mar 29 2022 umeabot <umeabot> 0.1-13.mga9 + Revision: 1833132 - Mageia 9 Mass Rebuild * Wed Oct 13 2021 tv <tv> 0.1-12.mga9 + Revision: 1751011 - Move META to the main package - Add -autoconf patch for autoconf 2.71
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/af /usr/lib/debug/.build-id/af/9532bcc112e9ded75997faf399629e0370a7d3 /usr/lib/debug/.build-id/af/9532bcc112e9ded75997faf399629e0370a7d3.debug /usr/lib/debug/.build-id/ff /usr/lib/debug/.build-id/ff/718bc45d1d23e8551212bb2ec6c84f506a783b /usr/lib/debug/.build-id/ff/718bc45d1d23e8551212bb2ec6c84f506a783b.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/ocaml-psmt2-frontend-0.4.0-2.mga9.i386 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/psmt2-frontend_bin-0.4.0-2.mga9.i386.debug /usr/lib/debug/usr/lib /usr/lib/debug/usr/lib/ocaml /usr/lib/debug/usr/lib/ocaml/psmt2-frontend /usr/lib/debug/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs-0.4.0-2.mga9.i386.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Sep 12 10:00:56 2024