alt-ergo-gui-1.01-2.fc25.i686.rpm


Advertisement

Description

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

Distribution: Fedora 25
Repository: Fedora i386
Package name: alt-ergo-gui
Package version: 1.01
Package release: 2.fc25
Package architecture: i686
Package type: rpm
Installed size: 6.83 MB
Download size: 1.68 MB
Official Mirror: dl.fedoraproject.org
A graphical front end for the alt-ergo theorem prover.

Provides

  • alt-ergo-gui = 1.01-2.fc25
  • alt-ergo-gui(x86-32) = 1.01-2.fc25
  • appdata()
  • appdata(alt-ergo.appdata.xml)
  • application()
  • application(alt-ergo.desktop)

    Download

    Install Howto

    Install the alt-ergo-gui rpm package:

    # dnf install alt-ergo-gui

    Files

    • /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

    Advertisement
    Advertisement