GNU MDK 1.2.5 released

[Jose A. Ortega Ruiz]

<#secure method=pgpmime mode=sign>

GNU MDK 1.2.5 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 is a maintenance release fixing extant bugs and upgrading MDK's
internals to the latest versions of Guile and Glade. You may also
notice, depending on your desktop configuration, an improvement in
gmixvm's startup time.

Here are the compressed sources:
  http://ftp.gnu.org/gnu/mdk/v1.2.5/mdk-1.2.5.tar.gz   (1.1MB)

Here are the GPG detached signatures[*]:
  http://ftp.gnu.org/gnu/mdk/v1.2.5/mdk-1.2.5.tar.gz.sig

Here are the MD5 and SHA1 checksums:

7dce75b47695ef90ff3abfaf4e3d77fc  mdk-1.2.5.tar.gz
2d314351bc4dc88bce4644c6d22fd1131996fb47  mdk-1.2.5.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.5.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.

This release was bootstrapped with the following tools:
  Autoconf 2.64
  Automake 1.11
  Flex 2.5.35

As usual, Aleix helped quite a bit: thanks!

Happy hacking!