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 armv7hl

From Mageia 8 for armv7hl / 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:21 2020
Group: Development/Debug Build host: localhost
Size: 3915585 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/35
/usr/lib/debug/.build-id/35/87c810de3c25c15d4ddedf60a6586ee0207939
/usr/lib/debug/.build-id/35/87c810de3c25c15d4ddedf60a6586ee0207939.debug
/usr/lib/debug/.build-id/57
/usr/lib/debug/.build-id/57/90d98c13e66bcf115b297b0cefa671557ad747
/usr/lib/debug/.build-id/57/90d98c13e66bcf115b297b0cefa671557ad747.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/555c7279c45a3cb5a9a46af48edef3351ba900
/usr/lib/debug/.build-id/cb/555c7279c45a3cb5a9a46af48edef3351ba900.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/alt-ergo-2.2.0-10.mga8.arm
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/alt-ergo-2.2.0-10.mga8.arm.debug
/usr/lib/debug/usr/lib
/usr/lib/debug/usr/lib/alt-ergo
/usr/lib/debug/usr/lib/alt-ergo/altErgoLib.cmxs-2.2.0-10.mga8.arm.debug
/usr/lib/debug/usr/lib/alt-ergo/plugins
/usr/lib/debug/usr/lib/alt-ergo/plugins/fm-simplex-plugin.cmxs-2.2.0-10.mga8.arm.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 16:03:47 2024