GNU MDK 1.2.9 released

[Jose A. Ortega Ruiz]

GNU MDK 1.2.9 is out. MDK provides an emulator and development
environment for Donald Knuth's MIX computer and its MIXAL language. See
http://www.gnu.org/software/mdk for details.

This release fixes documentation bugs (thanks to Joshua Davies) and adds
support for the MIX instructions SLB,SRB,JAE,JAO,JXE,JXO (implemented by
Sergey Litvin).

Here are the compressed sources and a GPG detached signature[*]:
  http://ftp.gnu.org/gnu/mdk/v1.2.9/mdk-1.2.9.tar.gz
  http://ftp.gnu.org/gnu/mdk/v1.2.9/mdk-1.2.9.tar.gz.sig

Use a mirror for higher download bandwidth:
  http://ftpmirror.gnu.org/mdk/v1.2.9/mdk-1.2.9.tar.gz
  http://ftpmirror.gnu.org/mdk/v1.2.9/mdk-1.2.9.tar.gz.sig

Here are the MD5 and SHA1 checksums:

08c96baa4b99dd9d25190dd15fe415a5  mdk-1.2.9.tar.gz
7d67922928bfbcef376e6a284ff1e18daa8659a0  mdk-1.2.9.tar.gz

[*] You can use either of the above signature files to verify that
the corresponding file (without the .sig suffix) is intact.  First,
be sure to download both the .sig file and the corresponding tarball.
Then, run a command like this:

  gpg --verify mdk-1.2.9.tar.gz.sig

If that command fails because you don't have the required public key,
then run this command to import it:

  gpg --keyserver keys.gnupg.net --recv-keys 5343A3EC

and rerun the `gpg --verify' command.

Happy hacking!
jao