FTP Search

Directory (beta)

Content Search (beta)

mdk - MIX Development Kit

/Main/Debian/hurd-i386/otherosfs/

---

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, and a Guile interpreter with an embedded MIX virtual machine called mixguile, are provided.

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 simulated using the file system).

Homepage: http://www.gnu.org/software/mdk/mdk.html
 

Homepage:	-
Package version:	1.2.3-1.1
Architecture:	hurd-i386
Distribution:	Debian
Filename:	mdk_1.2.3-1.1_hurd-i386.deb

---

Browse inside mdk_1.2.3-1.1_hurd-i386.deb:

pkg://mdk_1.2.3-1.1_hurd-i386.deb:250460/  info  downloads

33 B  2007-10-18conffiles  view  1000+ mirrors
1.49 KB  2007-10-18control  view  91 mirrors
[DIR]etc/  1000+ twin directories
1.28 KB  2007-10-18md5sums  view  104 mirrors
403 B  2007-10-18postinst  view  191 mirrors
160 B  2007-10-18postrm  view  1000+ mirrors
209 B  2007-10-18prerm  view  1000+ mirrors
[DIR]usr/  1000+ twin directories

---

Download mdk_1.2.3-1.1_hurd-i386.deb:

2007-10-18  ftp://64.50.236.52/.1/debian/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://64.50.238.52/.1/debian/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://24.215.0.24/Debian/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.bme.hu/OS/Linux/dist/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://200.17.202.1/debian-dists/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://200.17.202.16/debian-dists/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://200.17.202.17/debian-dists/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://130.239.17.6/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://161.53.160.16/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://199.6.1.174/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://204.152.191.39/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://204.152.191.7/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://212.87.224.145/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://217.75.96.164/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://64.15.134.18/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://77.88.19.68/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://cudlug.cudenver.edu/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://debian.lcs.mit.edu/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.ankara.edu.tr/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.at.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.bg.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.bononia.it/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.cl.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.debian.de/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.debian.or.jp/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.fr.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.hands.com/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.linux.it/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.med.univ-tours.fr/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.nz.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.port80.se/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.pucpr.br/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.sac.sk/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.tuke.sk/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.uevora.pt/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.uk.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp2.sk.freebsd.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.demon.nl/disk3/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.ticklers.org/ftp.debian.org/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.tugraz.at/ftp.tu-graz.ac.at/.mirror-sites/ftp.at.debian.org/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://194.65.100.42/ftp2/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://194.65.100.43/ftp2/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb
2007-10-18  ftp://ftp.ussg.iu.edu/linux/debian/pool/main/m/mdk/mdk_1.2.3-1.1_hurd-i386.deb