Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | "Jose A. Ortega Ruiz" <jao@gnu.org> |
|---|---|
| Newsgroups | gnu.announce |
| Subject | GNU MDK 1.2.9 released |
| Date | 2015-12-23 21:31 +0100 |
| Message-ID | <mailman.487.1450906548.843.info-gnu@gnu.org> (permalink) |
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
Back to gnu.announce | Previous | Next | Find similar | Unroll thread
GNU MDK 1.2.9 released "Jose A. Ortega Ruiz" <jao@gnu.org> - 2015-12-23 21:31 +0100
csiph-web