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

ltl2ba-debugsource-1.3-2.mga9 RPM for armv7hl

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

Name: ltl2ba-debugsource Distribution: Mageia
Version: 1.3 Vendor: Mageia.Org
Release: 2.mga9 Build date: Tue Mar 15 08:47:05 2022
Group: Development/Debug Build host: localhost
Size: 123509 Source RPM: ltl2ba-1.3-2.mga9.src.rpm
Packager: umeabot <umeabot>
Url: http://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

* Tue Mar 15 2022 umeabot <umeabot> 1.3-2.mga9
  + Revision: 1792891
  - Mageia 9 Mass Rebuild
* Tue Aug 18 2020 martinw <martinw> 1.3-1.mga8
  + Revision: 1615116
  - update to version 1.3

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 8 06:59:35 2024