why3-emacs-0.87.3-3.fc26.noarch.rpm


Advertisement

Description

why3-emacs - Emacs support file for why3 files

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name why3-emacs
Package version 0.87.3
Package release 3.fc26
Package architecture noarch
Package type rpm
Installed size 10.68 KB
Download size 15.47 KB
Official Mirror archives.fedoraproject.org
This package contains an Emacs support file for working with why3 files.

Alternatives

Package Version Architecture Repository
why3-emacs-0.87.3-3.fc26.noarch.rpm 0.87.3 noarch Fedora
why3-emacs - - -

Requires

Name Value
emacs(bin) -
why3 = 0.87.3-3.fc26

Provides

Name Value
why3-emacs = 0.87.3-3.fc26

Download

Type URL
Binary Package why3-emacs-0.87.3-3.fc26.noarch.rpm
Source Package why3-0.87.3-3.fc26.src.rpm

Install Howto

Install the why3-emacs rpm package:

# dnf install why3-emacs

Files

Path
/usr/share/emacs/site-lisp/why3.el
/usr/share/emacs/site-lisp/why3.elc

Changelog

See why3-0.87.3-3.fc26.i686.rpm changelog.

See Also

Package Description
why3-examples-0.87.3-3.fc26.noarch.rpm Example inputs
why3-xemacs-0.87.3-3.fc26.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-2.fc26.i686.rpm DSSI software synthesizer plugin
wicd-1.7.4-2.fc26.i686.rpm Wireless and wired network connection manager
wicd-common-1.7.4-2.fc26.noarch.rpm Wicd common files
wicd-curses-1.7.4-2.fc26.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-2.fc26.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-10.fc26.i686.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc26.3.i686.rpm DHCP Client and Server for IPv6
widelands-0-0.57.build18.fc26.i686.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-4.fc26.noarch.rpm A utility for managing WiFi profiles
wiggle-1.0-5.fc24.i686.rpm A tool for applying patches with conflicts
wiiuse-0.15.0-0.3.gite7fcdf8.fc26.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-devel-0.15.0-0.3.gite7fcdf8.fc26.i686.rpm Developer tools for the wiiuse library
wiiuse-examples-0.15.0-0.3.gite7fcdf8.fc26.i686.rpm Example programs for the wiiuse library
Advertisement
Advertisement