The correct link for Jasmin seems to be http://jasmin.sourceforge.net/, not http://mrl.nyu.edu/~meyer/jasmin/ as used on some pages.