1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-16 03:24:07 +00:00
Commit Graph

6 Commits

Author SHA1 Message Date
Martin Wilke
3929aec7db Update to 0.92b
PR:		ports/96563
Approved by:	krion (mentor), maintainer
2006-06-08 13:04:14 +00:00
Edwin Groothuis
c92c635b24 SHA256ify
Approved by: krion@
2006-01-22 12:42:24 +00:00
Trevor Johnson
8232e82f85 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
Pav Lucistnik
ccf1c17d22 - Update to 0.92a
PR:		ports/58725
Submitted by:	Jaeho Shin <netj@sparcs.kaist.ac.kr> (maintainer)
2003-12-14 01:53:36 +00:00
Kevin Lo
cbb1d175db Update to version 0.92
PR: 34899
Submitted by: MAINTAINER
2002-02-15 07:03:35 +00:00
Ying-Chieh Liao
fb65ac7978 add nml
A dialect/harmony of Standard ML and OCaml

PR:		29158
Submitted by:	Jaeho Shin <netj@ego.mazic.org>
2001-08-18 07:48:50 +00:00