Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: menhir-debuginfo | Distribution: Mageia |
Version: 20240715 | Vendor: Mageia.Org |
Release: 2.mga10 | Build date: Mon Jul 7 21:52:43 2025 |
Group: Development/Debug | Build host: localhost |
Size: 1519854 | Source RPM: menhir-20240715-2.mga10.src.rpm |
Packager: umeabot <umeabot> | |
Url: https://pauillac.inria.fr/~fpottier/menhir/ | |
Summary: Debug information for package menhir |
This package provides debug information for package menhir. Debug information is useful when developing applications that use this package or when debugging this package.
LGPL and QPL with static compilation exception
* Mon Jul 07 2025 umeabot <umeabot> 20240715-2.mga10 + Revision: 2250906 - Mageia 10 Mass Rebuild * Sun Apr 06 2025 pterjan <pterjan> 20240715-1.mga10 + Revision: 2174021 - Update to 20240715
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/2d /usr/lib/debug/.build-id/2d/e869aff4632219eda77b39a0a78d1debb1bfa9 /usr/lib/debug/.build-id/2d/e869aff4632219eda77b39a0a78d1debb1bfa9.debug /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/menhir-20240715-2.mga10.arm.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Jul 9 10:09:44 2025