why3-emacs-1.1.0-4.mga7.noarch.rpm


Advertisement

Description

why3-emacs - Emacs support file for why3 files

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package name why3-emacs
Package version 1.1.0
Package release 4.mga7
Package architecture noarch
Package type rpm
Installed size 11.11 KB
Download size 10.82 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
This package contains an Emacs support file for working with why3 files.

Alternatives

Package Version Architecture Repository
why3-emacs-1.1.0-4.mga7.noarch.rpm 1.1.0 noarch Mageia Core
why3-emacs - - -

Requires

Name Value
emacs -
why3 >= 1.1.0-4.mga7

Provides

Name Value
why3-emacs == 1.1.0-4.mga7

Download

Type URL
Binary Package why3-emacs-1.1.0-4.mga7.noarch.rpm
Source Package why3-1.1.0-4.mga7.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install why3-emacs rpm package:
    # urpmi why3-emacs

Files

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

Changelog

See why3-1.1.0-4.mga7.x86_64.rpm changelog.

See Also

Package Description
widelands-b19-11.mga7.x86_64.rpm Settlers II clone
widelands-basic-data-b19-11.mga7.noarch.rpm Basic data set for widelands
widelands-i18n-b19-11.mga7.noarch.rpm Translations for widelands
widelands-maps-b19-11.mga7.noarch.rpm Maps for widelands
widelands-music-b19-11.mga7.noarch.rpm Music for widelands
widgetsnbextension-2.0.0-2.mga7.noarch.rpm IPython HTML widgets for Jupyter
wifi-radar-2.0.s10-3.mga7.noarch.rpm Utility for managing WiFi profiles
wifite-2.0r85-6.mga7.noarch.rpm Automated wireless auditor
wildfly-10.1.0-9.mga7.noarch.rpm WildFly Application Server
wildfly-arquillian-common-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Common
wildfly-arquillian-common-domain-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Common Domain
wildfly-arquillian-container-domain-managed-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Managed Domain Container
wildfly-arquillian-container-domain-remote-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Remote Domain Container
wildfly-arquillian-container-embedded-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Embedded Container
wildfly-arquillian-container-managed-1.0.2-3.mga7.noarch.rpm WildFly: Arquillian Managed Container
Advertisement
Advertisement