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

ltl2ba-debugsource-1.3-3.mga10 RPM for armv7hl

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

Name: ltl2ba-debugsource Distribution: Mageia
Version: 1.3 Vendor: Mageia.Org
Release: 3.mga10 Build date: Thu Jun 26 04:48:14 2025
Group: Development/Debug Build host: localhost
Size: 123509 Source RPM: ltl2ba-1.3-3.mga10.src.rpm
Packager: umeabot <umeabot>
Url: https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
Summary: Debug sources for package ltl2ba
 
This package provides debug sources for package ltl2ba.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

GPLv2+

Changelog

* Thu Jun 26 2025 umeabot <umeabot> 1.3-3.mga10
  + Revision: 2195745
  - Mageia 10 Mass Rebuild

Files

/usr/src/debug/ltl2ba-1.3-3.mga10.arm
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/alternating.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/buchi.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/cache.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/generalized.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/lex.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/ltl2ba.h
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/main.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/mem.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/parse.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/rewrt.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/set.c
/usr/src/debug/ltl2ba-1.3-3.mga10.arm/trans.c

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 31 12:38:27 2025