alt-ergo-gui-1.30-2.fc26.x86_64.rpm


Advertisement

Description

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

Property Value
Distribution Fedora 26
Repository Fedora x86_64
Package name alt-ergo-gui
Package version 1.30
Package release 2.fc26
Package architecture x86_64
Package type rpm
Installed size 11.03 MB
Download size 2.44 MB
Official Mirror archives.fedoraproject.org
A graphical front end for the alt-ergo theorem prover.

Alternatives

Package Version Architecture Repository
alt-ergo-gui-1.30-2.fc26.i686.rpm 1.30 i686 Fedora
alt-ergo-gui - - -

Requires

Name Value
alt-ergo(x86-64) = 1.30-2.fc26
coreutils -
gtksourceview2 -
hicolor-icon-theme -
libatk-1.0.so.0()(64bit) -
libc.so.6(GLIBC_2.15)(64bit) -
libcairo.so.2()(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libfontconfig.so.1()(64bit) -
libfreetype.so.6()(64bit) -
libgdk-x11-2.0.so.0()(64bit) -
libgdk_pixbuf-2.0.so.0()(64bit) -
libgio-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.2.5)(64bit) -
libpango-1.0.so.0()(64bit) -
libpangocairo-1.0.so.0()(64bit) -
libpangoft2-1.0.so.0()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libpthread.so.0(GLIBC_2.3.2)(64bit) -
libz.so.1()(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
alt-ergo-gui = 1.30-2.fc26
alt-ergo-gui(x86-64) = 1.30-2.fc26
appdata() -
appdata(alt-ergo.appdata.xml) -
application() -
application(alt-ergo.desktop) -

Download

Type URL
Binary Package alt-ergo-gui-1.30-2.fc26.x86_64.rpm
Source Package alt-ergo-1.30-2.fc26.src.rpm

Install Howto

Install the alt-ergo-gui rpm package:

# dnf install alt-ergo-gui

Files

Path
/usr/bin/altgr-ergo
/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

See alt-ergo-1.30-2.fc26.x86_64.rpm changelog.

See Also

Package Description
altermime-0.3.10-14.fc26.x86_64.rpm Alter MIME-encoded mailpacks
alure-1.2-12.fc26.i686.rpm Audio Library Tools REloaded
alure-1.2-12.fc26.x86_64.rpm Audio Library Tools REloaded
alure-devel-1.2-12.fc26.i686.rpm Development files for alure
alure-devel-1.2-12.fc26.x86_64.rpm Development files for alure
am-utils-6.2.0-24.fc26.i686.rpm Automount utilities including an updated version of Amd
am-utils-6.2.0-24.fc26.x86_64.rpm Automount utilities including an updated version of Amd
amanda-3.4.5-1.fc26.x86_64.rpm A network-capable tape backup solution
amanda-client-3.4.5-1.fc26.x86_64.rpm The client component of the AMANDA tape backup system
amanda-libs-3.4.5-1.fc26.x86_64.rpm Amanda libraries
amanda-server-3.4.5-1.fc26.x86_64.rpm The server side of the AMANDA tape backup system
amanith-0.3-35.fc26.i686.rpm Crossplatform framework for 2d/3d vector graphics
amanith-0.3-35.fc26.x86_64.rpm Crossplatform framework for 2d/3d vector graphics
amanith-devel-0.3-35.fc26.i686.rpm Development files for amanith
amanith-devel-0.3-35.fc26.x86_64.rpm Development files for amanith
Advertisement
Advertisement