why3-emacs - Emacs support file for why3 files

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename why3-emacs-0.88.3-1.fc28.noarch.rpm
Package name why3-emacs
Package version 0.88.3
Package release 1.fc28
Package architecture noarch
Package type rpm
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 17.04 KB
Installed size 10.68 KB
This package contains an Emacs support file for working with why3 files.


Package Version Architecture Repository
why3-emacs-0.88.3-1.fc28.noarch.rpm 0.88.3 noarch Fedora
why3-emacs - - -


Name Value
emacs(bin) -
why3 = 0.88.3-1.fc28


Name Value
why3-emacs = 0.88.3-1.fc28


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why3-emacs-0.88.3-1.fc28.noarch.rpm
Source Package why3-0.88.3-1.fc28.src.rpm

Install Howto

Install why3-emacs rpm package:

# dnf install why3-emacs




2018-02-12 - Jerry James <loganjerry@gmail.com> - 0.88.3-1
- New upstream release
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 0.88.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-12-09 - Jerry James <loganjerry@gmail.com> - 0.88.2-1
- New upstream release
2017-11-17 - Richard W.M. Jones <rjones@redhat.com> - 0.88.1-1
- New upstream version 0.88.1.
- OCaml 4.06.0 rebuild.
2017-10-07 - Jerry James <loganjerry@gmail.com> - 0.88.0-1
- New usptream release
2017-10-05 - Jerry James <loganjerry@gmail.com> - 0.87.3-12
- Rebuild for flocq 2.6.0
2017-09-06 - Richard W.M. Jones <rjones@redhat.com> - 0.87.3-11
- OCaml 4.05.0 rebuild.
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-06-27 - Richard W.M. Jones <rjones@redhat.com> - 0.87.3-8
- Bump release and rebuild.

See Also

Package Description
why3-examples-0.88.3-1.fc28.noarch.rpm Example inputs
why3-xemacs-0.88.3-1.fc28.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-7.fc29.x86_64.rpm DSSI software synthesizer plugin
wicd-1.7.4-9.fc29.x86_64.rpm Wireless and wired network connection manager
wicd-common-1.7.4-9.fc29.noarch.rpm Wicd common files
wicd-curses-1.7.4-9.fc29.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-9.fc29.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-14.fc29.x86_64.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc29.7.x86_64.rpm DHCP Client and Server for IPv6
widelands-0-0.67.build19.fc29.x86_64.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-7.fc29.noarch.rpm A utility for managing WiFi profiles
wiggle-1.1-2.fc29.x86_64.rpm A tool for applying patches with conflicts
wiiuse-0.15.0-0.8.gite7fcdf8.fc29.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-0.15.0-0.8.gite7fcdf8.fc29.x86_64.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-devel-0.15.0-0.8.gite7fcdf8.fc29.i686.rpm Developer tools for the wiiuse library