Debian Bug report logs -
#130832
ITA: mdk -- MIX Development Kit
Reported by: Adrian Bunk <bunk@fs.tum.de>
Date: Fri, 25 Jan 2002 20:18:24 UTC
Severity: normal
Fixed in version mdk/0.5-6
Done: Baruch Even <baruch@debian.org>
Bug is archived. No further changes may be made.
Toggle useless messages
Report forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, wnpp@packages.qa.debian.org:
Bug#130832; Package wnpp.
(full text, mbox, link).
Acknowledgement sent to Adrian Bunk <bunk@fs.tum.de>:
New Bug report received and forwarded. Copy sent to wnpp@debian.org, wnpp@packages.qa.debian.org.
(full text, mbox, link).
Message #5 received at submit@bugs.debian.org (full text, mbox, reply):
Package: wnpp
Package: mdk
Priority: optional
Section: otherosfs
Installed-Size: 928
Maintainer: Adrian Bunk <bunk@fs.tum.de>
Architecture: i386
Version: 0.5-4
Depends: libc6 (>= 2.2.4-4), libglade0, libglib1.2 (>= 1.2.0), libgtk1.2
(>= 1.2.10-4), libguile9 (>= 1:1.4-22), libncurses5 (>= 5.2.20010310-1),
libreadline4 (>= 4.2a), libxml1 (>= 1:1.8.14-3), xlibs (>> 4.1.0), zlib1g
(>= 1:1.1.3)
Filename: pool/main/m/mdk/mdk_0.5-4_i386.deb
Size: 452942
MD5sum: 24546f511c26a3b02b346b3c95b5db67
Description: MIX Development Kit
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).
Changed Bug title.
Request was from Baruch Even <baruch@debian.org>
to control@bugs.debian.org.
(full text, mbox, link).
Reply sent to Baruch Even <baruch@debian.org>:
You have taken responsibility.
(full text, mbox, link).
Notification sent to Adrian Bunk <bunk@fs.tum.de>:
Bug acknowledged by developer.
(full text, mbox, link).
Message #12 received at 130832-close@bugs.debian.org (full text, mbox, reply):
We believe that the bug you reported is fixed in the latest version of
mdk, which has been installed in the Debian FTP archive:
mdk_0.5-6.diff.gz
to pool/main/m/mdk/mdk_0.5-6.diff.gz
mdk_0.5-6.dsc
to pool/main/m/mdk/mdk_0.5-6.dsc
mdk_0.5-6_i386.deb
to pool/main/m/mdk/mdk_0.5-6_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 130832@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Baruch Even <baruch@debian.org> (supplier of updated mdk package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 31 Jan 2002 00:56:31 +0200
Source: mdk
Binary: mdk
Architecture: source i386
Version: 0.5-6
Distribution: unstable
Urgency: low
Maintainer: Baruch Even <baruch@debian.org>
Changed-By: Baruch Even <baruch@debian.org>
Description:
mdk - MIX Development Kit
Closes: 130832
Changes:
mdk (0.5-6) unstable; urgency=low
.
* New maintainer (Closes: bug#130832)
Files:
bbff38a9ea64e5fe6d310bad5700a95d 699 otherosfs optional mdk_0.5-6.dsc
4dd3eb1defae3e5fdaaf9342b48775f7 3694 otherosfs optional mdk_0.5-6.diff.gz
ad0edeeaac1e212f40c7e8e08a75f5e2 497474 otherosfs optional mdk_0.5-6_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iEYEARECAAYFAjxYjvsACgkQHCar6qtHRZhtQACgh0c9rFROp/zDZu19+qvbgzOL
KwcAn2+3ybMhvBI2vHJ+1gD+iPp+kg84
=aejK
-----END PGP SIGNATURE-----
Send a report that this bug log contains spam.
Debian bug tracking system administrator <owner@bugs.debian.org>.
Last modified:
Sat Apr 15 20:41:36 2023;
Machine Name:
bembo
Debian Bug tracking system
Debbugs is free software and licensed under the terms of the GNU
Public License version 2. The current version can be obtained
from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson,
2005-2017 Don Armstrong, and many other contributors.