Index of /~jps/misc
Name Last modified Size Description
Parent Directory -
README.txt 08-Apr-2007 19:20 195
haxe-mode.el 16-Aug-2009 20:14 10K
mgtk_0.03-1.diff.gz 08-Apr-2007 18:57 2.5K
mgtk_0.03-1.dsc 08-Apr-2007 18:57 592
mgtk_0.03-1_i386.changes 08-Apr-2007 18:57 956
mgtk_0.03-1_i386.deb 08-Apr-2007 18:57 500K
mgtk_0.03-1_source.changes 08-Apr-2007 18:57 629
mgtk_0.03.orig.tar.gz 08-Apr-2007 18:57 109K
mlkit_4.3.3~2243-1.diff.gz 24-Jul-2007 22:46 3.6K
mlkit_4.3.3~2243-1.dsc 24-Jul-2007 22:47 403
mlkit_4.3.3~2243-1_i386.changes 24-Jul-2007 22:47 756
mlkit_4.3.3~2243-1_i386.deb 24-Jul-2007 23:07 17M
mlkit_4.3.3~2243.orig.tar.gz 24-Jul-2007 23:12 4.2M
mosml_2.01-3.diff.gz 08-Apr-2007 19:07 69K
mosml_2.01-3.dsc 08-Apr-2007 19:07 637
muddy_2.0-1.diff.gz 08-Apr-2007 18:57 4.0K
muddy_2.0-1.dsc 08-Apr-2007 18:57 569
muddy_2.0-1_i386.changes 08-Apr-2007 18:57 943
muddy_2.0-1_i386.deb 08-Apr-2007 18:57 66K
muddy_2.0.orig.tar.gz 08-Apr-2007 18:57 460K
Due to license problems, the source code and binary packages for
Moscow-ML (mosml) is not present at this site. You can obtain the
source code from http://www.dina.kvl.dk/~sestoft/mosml.html .