1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-05 06:27:37 +00:00
freebsd-ports/lang/sml-nj-devel/files
Joseph Koshy 924e43a646 Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.
PR:		ports/29656
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2001-08-24 09:12:43 +00:00
..
do-patch-src-installml Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00
do-patch-src-makeml Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00
optional-patch-flint-access Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00
patch-ab Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00
plist-cml Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00
plist-eXene Upgrade to SML/NJ v110.34. Add a number of nifty configurability options. 2001-08-24 09:12:43 +00:00