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 i586

From Mageia 8 for i586 / 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:04:47 2020
Group: Development/Debug Build host: localhost
Size: 3848008 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/1f
/usr/lib/debug/.build-id/1f/0b558a59b384bce6353b10a262fbbc4fced82c
/usr/lib/debug/.build-id/1f/0b558a59b384bce6353b10a262fbbc4fced82c.debug
/usr/lib/debug/.build-id/43
/usr/lib/debug/.build-id/43/4a85505c9e614b377ed767c4d95b121b4a6586
/usr/lib/debug/.build-id/43/4a85505c9e614b377ed767c4d95b121b4a6586.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/f21843d2714eb3fe2c4da248812dec311ede09
/usr/lib/debug/.build-id/aa/f21843d2714eb3fe2c4da248812dec311ede09.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/alt-ergo-2.2.0-10.mga8.i386
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/alt-ergo-2.2.0-10.mga8.i386.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.i386.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.i386.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 11:57:25 2025