alt-ergo-gui-2.3.3-31.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / a

Alt-Ergo is an automated theorem prover implemented in OCaml.  It is based on
CC(X) - a congruence closure algorithm parameterized by an equational theory
X.  This algorithm is reminiscent of the Shostak algorithm.  Currently CC(X)
is instantiated by the theory of linear arithmetics.  Alt-Ergo also contains a
home made SAT-solver and an instantiation mechanism by which it fully supports
quantifiers.

This package contains a graphical front end for the Alt-Ergo theorem prover.

Provides

• alt-ergo-gui
• alt-ergo-gui(ppc-64)
• application()
• application(com.ocamlpro.alt-ergo.desktop)
• metainfo()
• metainfo(com.ocamlpro.alt-ergo.metainfo.xml)

Requires

• alt-ergo(ppc-64) = 2.3.3-31.fc44
• gtksourceview2
• hicolor-icon-theme
• ld64.so.2()(64bit)
• ld64.so.2(GLIBC_2.22)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.42)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgdk-x11-2.0.so.0()(64bit)
• libgdk_pixbuf-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit)
• libgmp.so.10()(64bit)
• libgobject-2.0.so.0()(64bit)
• libgtk-x11-2.0.so.0()(64bit)
• libgtksourceview-2.0.so.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libpango-1.0.so.0()(64bit)
• libz-ng.so.2()(64bit)
• libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
• libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

CECILL-C

Changelog

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-31
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-30
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-29
  - OCaml 5.4.0 rebuild
* Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-28
  - Rebuild for ocaml-menhir 20250912
* Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-27
  - Rebuild for ocaml-menhir 20250903
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-26
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-25
  - Rebuild to fix OCaml dependencies
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 2.3.3-23
  - OCaml 5.3.0 rebuild for Fedora 42
  - Correct License fields from Apache-2.0 to CECILL-C
  - Do configuration steps in %conf
* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-22
  - Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-21
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-20
  - Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-19
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-18
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Add patch to fix misplaced inline attributes
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Rebuild for changed ocamlx(Dynlink) hash
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

Files

/usr/bin/altgr-ergo
/usr/lib/.build-id
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/5c9aa340b28ab826731c341b1afd8fd226b2d4
/usr/lib64/ocaml/altgr-ergo
/usr/lib64/ocaml/altgr-ergo/META
/usr/lib64/ocaml/altgr-ergo/dune-package
/usr/lib64/ocaml/altgr-ergo/opam
/usr/share/applications/com.ocamlpro.alt-ergo.desktop
/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang
/usr/share/icons/hicolor/128x128/apps/alt-ergo.png
/usr/share/icons/hicolor/16x16/apps/alt-ergo.png
/usr/share/icons/hicolor/22x22/apps/alt-ergo.png
/usr/share/icons/hicolor/24x24/apps/alt-ergo.png
/usr/share/icons/hicolor/256x256/apps/alt-ergo.png
/usr/share/icons/hicolor/32x32/apps/alt-ergo.png
/usr/share/icons/hicolor/48x48/apps/alt-ergo.png
/usr/share/icons/hicolor/64x64/apps/alt-ergo.png
/usr/share/icons/hicolor/96x96/apps/alt-ergo.png
/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Feb 2 00:38:09 2026