aboutsummaryrefslogtreecommitdiff
path: root/lang/smlnj
Commit message (Expand)AuthorAgeFilesLines
* Remove deprecated @dirrm referencePawel Pekala2016-01-181-1/+0
* Fix ports that confused the meaning of WRKDIR and WRKSRC.Mathieu Arnold2015-11-051-22/+22
* Drop 8 support.Mathieu Arnold2015-10-151-5/+0
* Remove OSVERSION checks that do not make sense any more.Mathieu Arnold2015-04-031-2/+2
* lang/smlnj: add missing two patchesKurt Jaeger2014-10-142-0/+83
* lang/smlnj: 110.76 -> 110.77Kurt Jaeger2014-10-139-292/+137
* lang/smlnj: fix tmpname warningKurt Jaeger2014-08-312-0/+37
* lang/smlnj: 110.71 -> 110.76Kurt Jaeger2014-07-3018-0/+2664