why3-xemacs - XEmacs support file for why3 files

Property Value
Distribution Fedora 31
Repository Fedora x86_64
Package filename why3-xemacs-1.2.0-5.fc31.noarch.rpm
Package name why3-xemacs
Package version 1.2.0
Package release 5.fc31
Package architecture noarch
Package type rpm
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 11.45 KB
Installed size 10.44 KB
This package contains an XEmacs support file for working with why3 files.


Package Version Architecture Repository
why3-xemacs-1.2.1-1.fc31.noarch.rpm 1.2.1 noarch Fedora Updates
why3-xemacs-1.2.0-5.fc31.noarch.rpm 1.2.0 noarch Fedora Updates Testing
why3-xemacs - - -


Name Value
why3 = 1.2.0-5.fc31
xemacs(bin) -


Name Value
why3-xemacs = 1.2.0-5.fc31


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why3-xemacs-1.2.0-5.fc31.noarch.rpm
Source Package why3-1.2.0-5.fc31.src.rpm

Install Howto

Install why3-xemacs rpm package:

# dnf install why3-xemacs




2019-09-06 - Jerry James <loganjerry@gmail.com> - 1.2.0-5
- Rebuild for ocaml-zarith 1.9
2019-08-01 - Jerry James <loganjerry@gmail.com> - 1.2.0-4
- Also install the library, for consumption by frama-c
2019-08-01 - Jerry James <loganjerry@gmail.com> - 1.2.0-3
- Rebuild for flocq 3.2.0
2019-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 1.2.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-05 - Jerry James <loganjerry@gmail.com> - 1.2.0-1
- New upstream release
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.1.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2019-01-26 - Jerry James <loganjerry@gmail.com> - 1.1.1-1
- New upstream release
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 0.88.3-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-12 - Richard W.M. Jones <rjones@redhat.com> - 0.88.3-4
- OCaml 4.07.0 (final) rebuild.
2018-06-20 - Richard W.M. Jones <rjones@redhat.com> - 0.88.3-3
- Bump release and rebuild.

See Also

Package Description
whysynth-dssi-20120903-9.fc31.x86_64.rpm DSSI software synthesizer plugin
wicd-kde-0.3.1-16.fc31.x86_64.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc31.9.x86_64.rpm DHCP Client and Server for IPv6
widelands-0-0.72.build20.fc31.x86_64.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-11.fc31.noarch.rpm A utility for managing WiFi profiles
wiggle-1.1-4.fc31.x86_64.rpm A tool for applying patches with conflicts
wiiuse-0.15.4-3.fc31.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-0.15.4-3.fc31.x86_64.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
wiiuse-devel-0.15.4-3.fc31.i686.rpm Developer tools for the wiiuse library
wiiuse-devel-0.15.4-3.fc31.x86_64.rpm Developer tools for the wiiuse library
wiiuse-examples-0.15.4-3.fc31.x86_64.rpm Example programs for the wiiuse library
wiki2beamer-0.10.0-2.fc31.noarch.rpm Converts a simple wiki-like syntax to complex LaTeX beamer code
wildfly-arquillian-common-1.0.2-7.fc30.noarch.rpm WildFly: Arquillian Common
wildfly-arquillian-common-domain-1.0.2-7.fc30.noarch.rpm WildFly: Arquillian Common Domain
wildfly-arquillian-container-domain-managed-1.0.2-7.fc30.noarch.rpm WildFly: Arquillian Managed Domain Container