alt-ergo-gui-1.30-15.fc29.i686.rpm


Advertisement

Description

alt-ergo-gui - Graphical front end for alt-ergo

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename alt-ergo-gui-1.30-15.fc29.i686.rpm
Package name alt-ergo-gui
Package version 1.30
Package release 15.fc29
Package architecture i686
Package type rpm
Homepage http://alt-ergo.ocamlpro.com/
License CeCILL-C
Maintainer -
Download size 2.17 MB
Installed size 8.81 MB
A graphical front end for the alt-ergo theorem prover.

Alternatives

Package Version Architecture Repository
alt-ergo-gui-1.30-15.fc29.x86_64.rpm 1.30 x86_64 Fedora
alt-ergo-gui - - -

Requires

Name Value
alt-ergo(x86-32) = 1.30-15.fc29
coreutils -
gtksourceview2 -
hicolor-icon-theme -
libatk-1.0.so.0 -
libc.so.6(GLIBC_2.28) -
libcairo.so.2 -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libfontconfig.so.1 -
libfreetype.so.6 -
libfribidi.so.0 -
libgdk-x11-2.0.so.0 -
libgdk_pixbuf-2.0.so.0 -
libgio-2.0.so.0 -
libglib-2.0.so.0 -
libgmp.so.10 -
libgobject-2.0.so.0 -
libgtk-x11-2.0.so.0 -
libgtksourceview-2.0.so.0 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libpango-1.0.so.0 -
libpangocairo-1.0.so.0 -
libpangoft2-1.0.so.0 -
libpthread.so.0 -
libpthread.so.0(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.1) -
libpthread.so.0(GLIBC_2.2) -
libpthread.so.0(GLIBC_2.3.2) -
libz.so.1 -
rtld(GNU_HASH) -

Provides

Name Value
alt-ergo-gui = 1.30-15.fc29
alt-ergo-gui(x86-32) = 1.30-15.fc29
application() -
application(alt-ergo.desktop) -
metainfo() -
metainfo(alt-ergo.appdata.xml) -

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package alt-ergo-gui-1.30-15.fc29.i686.rpm
Source Package alt-ergo-1.30-15.fc29.src.rpm

Install Howto

Install alt-ergo-gui rpm package:

# dnf install alt-ergo-gui

Files

Path
/usr/bin/altgr-ergo
/usr/lib/.build-id/
/usr/lib/.build-id/8c/223807d1592e2f02d027fb749732f0a000674e
/usr/share/appdata/alt-ergo.appdata.xml
/usr/share/applications/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/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

Changelog

2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 1.30-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-11 - Richard W.M. Jones <rjones@redhat.com> - 1.30-14
- OCaml 4.07.0 (final) rebuild.
2018-06-20 - Richard W.M. Jones <rjones@redhat.com> - 1.30-13
- OCaml 4.07.0-rc1 rebuild.
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.30-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-07 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.30-11
- Remove obsolete scriptlets
2017-11-08 - Richard W.M. Jones <rjones@redhat.com> - 1.30-10
- OCaml 4.06.0 rebuild.
2017-08-07 - Richard W.M. Jones <rjones@redhat.com> - 1.30-9
- OCaml 4.05.0 rebuild.
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.30-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.30-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-06-26 - Richard W.M. Jones <rjones@redhat.com> - 1.30-6
- OCaml 4.04.2 rebuild.

See Also

Package Description
altermime-0.3.10-19.fc29.i686.rpm Alter MIME-encoded mailpacks
alure-1.2-16.fc29.i686.rpm Audio Library Tools REloaded
alure-devel-1.2-16.fc29.i686.rpm Development files for alure
am-utils-6.2.0-34.fc29.i686.rpm Automount utilities including an updated version of Amd
amanda-3.5.1-14.fc29.i686.rpm A network-capable tape backup solution
amanda-client-3.5.1-14.fc29.i686.rpm The client component of the AMANDA tape backup system
amanda-libs-3.5.1-14.fc29.i686.rpm Amanda libraries
amanda-server-3.5.1-14.fc29.i686.rpm The server side of the AMANDA tape backup system
amanith-0.3-40.fc29.i686.rpm Crossplatform framework for 2d/3d vector graphics
amanith-devel-0.3-40.fc29.i686.rpm Development files for amanith
amarok-2.9.0-2.fc29.i686.rpm Media player
amarok-doc-2.9.0-2.fc29.noarch.rpm Application handbook, documentation, translations
amarok-libs-2.9.0-2.fc29.i686.rpm Runtime libraries for amarok
amarok-utils-2.9.0-2.fc29.i686.rpm Amarok standalone utilities
amavisd-milter-1.6.1-3.fc29.i686.rpm Sendmail milter for amavisd-new using the AM.PDP protocol
Advertisement
Advertisement