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

alt-ergo-debuginfo-2.2.0-10.mga8 RPM for aarch64

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

Name: alt-ergo-debuginfo Distribution: Mageia
Version: 2.2.0 Vendor: Mageia.Org
Release: 10.mga8 Build date: Wed Aug 19 01:06:25 2020
Group: Development/Debug Build host: localhost
Size: 4411169 Source RPM: alt-ergo-2.2.0-10.mga8.src.rpm
Packager: martinw <martinw>
Url: http://alt-ergo.ocamlpro.com/
Summary: Debug information for package alt-ergo
 
This package provides debug information for package alt-ergo.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

ASL 2.0

Changelog

* Wed Aug 19 2020 martinw <martinw> 2.2.0-10.mga8
  + Revision: 1615508
  - use free (ASL 2.0 licensed) version
  - drop GUI package (needs obsolete gtksourceview2)
* Fri Feb 28 2020 umeabot <umeabot> 2.2.0-9.mga8
  + Revision: 1551478
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 2.2.0-8.mga8
  + Revision: 1544291
  - Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv <tv> 2.2.0-7.mga8
  + Revision: 1482733
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
  + daviddavid <daviddavid>
  - rebuild for new ocaml-psmt2-frontend 0.2
* Thu Oct 25 2018 daviddavid <daviddavid> 2.2.0-5.mga7
  + Revision: 1325199
  - rebuild for new ocaml 4.07.1
* Fri Sep 21 2018 umeabot <umeabot> 2.2.0-4.mga7
  + Revision: 1294308
  - Mageia 7 Mass Rebuild

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/023c2e68d6ba8131a782661954ab92b6c080f0
/usr/lib/debug/.build-id/0e/023c2e68d6ba8131a782661954ab92b6c080f0.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/d07665c39d7ad8a991cd7d34249a8e6e5a0646
/usr/lib/debug/.build-id/10/d07665c39d7ad8a991cd7d34249a8e6e5a0646.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/bb2e9f8aa46799000e7c1c70fbd7dd9be2746b
/usr/lib/debug/.build-id/fc/bb2e9f8aa46799000e7c1c70fbd7dd9be2746b.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/alt-ergo-2.2.0-10.mga8.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/alt-ergo-2.2.0-10.mga8.aarch64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/alt-ergo
/usr/lib/debug/usr/lib64/alt-ergo/altErgoLib.cmxs-2.2.0-10.mga8.aarch64.debug
/usr/lib/debug/usr/lib64/alt-ergo/plugins
/usr/lib/debug/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs-2.2.0-10.mga8.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 15:14:28 2024