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

ocaml-psmt2-frontend-debuginfo-0.4.0-2.mga9 RPM for armv7hl

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

Name: ocaml-psmt2-frontend-debuginfo Distribution: Mageia
Version: 0.4.0 Vendor: Mageia.Org
Release: 2.mga9 Build date: Tue Mar 7 21:00:53 2023
Group: Development/Debug Build host: localhost
Size: 1497212 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.

Provides

Requires

License

ASL 2.0

Changelog

* 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

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/e6b423ab5a0f238a01ae5229a51555201af114
/usr/lib/debug/.build-id/cb/e6b423ab5a0f238a01ae5229a51555201af114.debug
/usr/lib/debug/.build-id/cb/f4036c56f0a7f4418cc163a80c57d403a22f7c
/usr/lib/debug/.build-id/cb/f4036c56f0a7f4418cc163a80c57d403a22f7c.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/ocaml-psmt2-frontend-0.4.0-2.mga9.arm
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/psmt2-frontend_bin-0.4.0-2.mga9.arm.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.arm.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 12 13:42:05 2025