Fedora 20 Update: mdk-1.2.8-1.fc20

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-9726
2014-08-24 01:50:49
--------------------------------------------------------------------------------

Name        : mdk
Product     : Fedora 20
Version     : 1.2.8
Release     : 1.fc20
URL         : http://www.gnu.org/software/mdk/
Summary     : GNU MIX Development Kit
Description :
MDK stands for MIX Development Kit, and provides tools for developing
and executing, in a MIX virtual machine, MIXAL programs.

The MIX is Donald Knuth's mythical computer, described in the first
volume of The Art of Computer Programming, which is programmed using
MIXAL, the MIX assembly language.

MDK includes a MIXAL assembler (mixasm) and a MIX virtual machine
(mixvm) with a command line interface.  In addition, a GTK+ GUI to
mixvm, called gmixvm, is provided; and, in case you are an Emacs guy,
you can try misc/mixvm.el, which allows running mixvm inside an Emacs
GUD buffer.

Using these interfaces, you can debug your MIXAL programs at source
code level, and read/modify the contents of all the components of the
MIX computer (including block devices, which are simulatated using the
file system).

--------------------------------------------------------------------------------
Update Information:

Bump to a new upstream version
--------------------------------------------------------------------------------
ChangeLog:

* Sat Aug 23 2014 Stjepan Gros <stjepan.gros at gmail.com> - 1.2.8-1
- Bump to a new upstream version
- Removed format specifier patch as it is applied upstream
- Fixed typo in description
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use
su -c 'yum update mdk' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------