mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-07 06:40:06 +00:00
Code Issues Releases Activity
90,218 Commits 46 Branches 101 Tags 3.4 GiB
289ced7fc4
Commit Graph

5 Commits

Author SHA1 Message Date
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
Sergey A. Osokin
f37f7775e3 Make portlint(1) happy by changing strip to ${STRIP_CMD} 
Submitted by:	Oleg Karachevtsev <ok@etrust.ru>
PR:		56998
 2003-09-24 09:37:11 +00:00
Akinori MUSHA
3baa89dcc9 De-pkg-comment. 2003-02-21 12:35:09 +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