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

menhir-debugsource-20240715-1.mga10 RPM for armv7hl

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

Name: menhir-debugsource Distribution: Mageia
Version: 20240715 Vendor: Mageia.Org
Release: 1.mga10 Build date: Sun Apr 6 20:29:24 2025
Group: Development/Debug Build host: localhost
Size: 0 Source RPM: menhir-20240715-1.mga10.src.rpm
Packager: pterjan <pterjan>
Url: https://pauillac.inria.fr/~fpottier/menhir/
Summary: Debug sources for package menhir
 
This package provides debug sources for package menhir.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL and QPL with static compilation exception

Changelog

* Sun Apr 06 2025 pterjan <pterjan> 20240715-1.mga10
  + Revision: 2174021
  - Update to 20240715

Files

/usr/src/debug/menhir-20240715-1.mga10.arm
/usr/src/debug/menhir-20240715-1.mga10.arm/_build
/usr/src/debug/menhir-20240715-1.mga10.arm/_build/default

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 12 08:41:47 2025