aboutsummaryrefslogtreecommitdiffstats
path: root/lang/moscow_ml/distinfo
Commit message (Collapse)AuthorAgeFilesLines
* Update to v201:jkoshy2005-02-261-2/+2
| | | | | | | | | | | | - Add RESTRICTED (licensing issues). - Install stuff in standard places. - Install examples. - Install readmes/licenses. - Respect NOPORTDOCS. - New MAINTAINER. PR: ports/62704 Submitted by: debios@diku.dk
* SIZEify.trevor2004-01-291-0/+1
|
* Upgrade to v2.0.jkoshy2002-05-301-1/+1
| | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de>
* Fix checksum.chuckr1999-10-051-1/+1
|
* Update moscow_ml to version 1.43. This is a good version of ml ifchuckr1998-08-031-1/+1
| | | | | you are limited in space. If you have no space limitations, I'd really recommend the new smlnj port instead.
* Update changed md5 on distfile.chuckr1997-12-021-1/+1
| | | | Submitted by: Thordur Ivarsson <totii@est.is>
* The distfile changed.max1997-02-151-1/+1
| | | | | Noticed by: Arne Henrik Juul <arnej@imf.unit.no> (Closing 1/14 of PR #2677.)
* Submitted by: chuckrchuckr1996-07-281-0/+1
New version of the sml programming language, based upon caml.