Commit graph

10 commits

Author SHA1 Message Date
Olli Hauer
27de467a2b - remove MD5 2011-07-03 13:45:36 +00:00
Pav Lucistnik
f307f38435 - Add SHA256 2005-11-25 00:33:45 +00:00
Joseph Koshy
3fc071f075 Update to v201:
- 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
2005-02-26 06:41:44 +00:00
Trevor Johnson
0c881ba59c SIZEify. 2004-01-29 07:24:56 +00:00
Joseph Koshy
dcd902f846 Upgrade to v2.0.
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2002-05-30 10:47:57 +00:00
Chuck Robey
86c9ecef2d Fix checksum. 1999-10-04 18:37:38 +00:00
Chuck Robey
555f6b44ac Update moscow_ml to version 1.43. This is a good version of ml if
you are limited in space.  If you have no space limitations, I'd really
recommend the new smlnj port instead.
1998-08-02 17:38:24 +00:00
Chuck Robey
ea8ae8d7ab Update changed md5 on distfile.
Submitted by:	Thordur Ivarsson <totii@est.is>
1997-12-01 17:09:14 +00:00
Masafumi Max NAKANE
a912164589 The distfile changed.
Noticed by:	 Arne Henrik Juul <arnej@imf.unit.no>
(Closing 1/14 of PR #2677.)
1997-02-15 07:59:21 +00:00
Chuck Robey
5b2f4c2d0e Submitted by: chuckr
New version of the sml programming language, based upon caml.
1996-07-28 02:44:11 +00:00