<#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! _______________________________________________ GNU Announcement mailing list <info-gnu@gnu.org> http://lists.gnu.org/mailman/listinfo/info-gnu
