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-3.mga10 RPM for aarch64

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

Name: ocaml-psmt2-frontend-debuginfo Distribution: Mageia
Version: 0.4.0 Vendor: Mageia.Org
Release: 3.mga10 Build date: Fri Jun 20 15:51:47 2025
Group: Development/Debug Build host: localhost
Size: 2464028 Source RPM: ocaml-psmt2-frontend-0.4.0-3.mga10.src.rpm
Packager: daviddavid <daviddavid>
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

* Thu Jun 19 2025 daviddavid <daviddavid> 0.4.0-3.mga10
  + Revision: 2192814
  - rebuild for new ocaml 5.3.0

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/9f
/usr/lib/debug/.build-id/9f/3a0639de46e886fd1e5fe652293888752de93b
/usr/lib/debug/.build-id/9f/3a0639de46e886fd1e5fe652293888752de93b.debug
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.build-id/d7/01501bae385177a805d7e88f26ee789b52f803
/usr/lib/debug/.build-id/d7/01501bae385177a805d7e88f26ee789b52f803.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/ocaml-psmt2-frontend-0.4.0-3.mga10.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/psmt2-frontend_bin-0.4.0-3.mga10.aarch64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/psmt2-frontend
/usr/lib/debug/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs-0.4.0-3.mga10.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 21 05:12:36 2025