2014-02-01 Florian Franzmann * DETAILS: version 4.01.0 2013-01-20 Florian Franzmann * TRIGGERS: perform check_self on cast binutils, tk, tcl 2011-07-22 Treeve Jelbert * DETAILS: version 3.12.1 2010-09-06 Peng Chang (Charles) * DETAILS: updated spell to 3.12.0 Fixed SOURCE_URL[0], removed SOURCE_URL[1] 2010-01-21 Treeve Jelbert * DETAILS: version 3.11.2 2009-09-24 Treeve Jelbert * DEPENDS: xorg-libs => libx11 2009-06-20 Treeve Jelbert * DETAILS: version 3.11.1 2008-12-06 Treeve Jelbert * DETAILS: version 3.11.0 2008-05-01 Treeve Jelbert * DETAILS: version 3.10.2 2008-03-18 Eric Sandall * DEPENDS: Switch X11-LIBS to the one and only xorg-libs 2007-06-01 Treeve Jelbert * DETAILS: version 3.10.0 2006-09-27 Treeve Jelbert * DETAILS: version 3.09.3 2006-09-21 Juuso Alasuutari * DETAILS: [automated] Removed BUILD_API=2. 2006-05-21 Treeve Jelbert * DETAILS: version 3.09.2 remove GCC_VERSION * BUILD: remove invoke_gcc (done in default_pre_build) 2006-03-12 Karsten Behrmann * DETAILS: (automated) Add KEYWORDS 2005-11-29 Seth Woolley * DETAILS: MD5 -> SHA512 2005-06-23 George Sherwood * DETAILS: Updated to version 3.08.3 2005-05-23 David Brown * DETAILS: added depends gcc 3.4 * BUILD: added invoke gcc 2005-04-16 George Sherwood * CONFIGURE: Changed OPTS variable to use OCAML_OPTS 2005-04-07 Eric Sandall * DETAILS: Removed MAKE_NJOBS=1 Shortened SHORT * BUILD: Run make_single and make_normal around the makes 2005-03-10 Jason Flatt * DETAILS: Version bump from 3.07pl2 to 3.08.2. Added BUILD_API=2. Added second SOURCE_URL. Changed SOURCE from .gz to .bz2 (.gz file also available). * BUILD: Removed install stuff (for BUILD_API 2). Reformatted white space. * CONFIGURE, DEPENDS: Added to fill out compile time options. 2004-06-16 Eric Sandall * DETAILS: Added MAKE_NJOBS=1 2004-03-18 Vladimir Navrat * BUILD, DETAILS, HISTORY: Spell created .