Jimmy Olgeni 125b598694 Set proper ownership and permissions in ${PREFIX}/lib/oz (UID and GID in ...

doc/ were bogus).

2002-08-16 15:08:42 +00:00

..

files

Update port to version 1.2.3, setting emacs21 as the default IDE.

2002-07-18 21:13:19 +00:00

scripts

Add documentation (optional with NOPORTDOCS support), and a couple of

2001-02-08 16:10:58 +00:00

distinfo

Update port to version 1.2.3, setting emacs21 as the default IDE.

2002-07-18 21:13:19 +00:00

Makefile

Set proper ownership and permissions in ${PREFIX}/lib/oz (UID and GID in

2002-08-16 15:08:42 +00:00

pkg-comment

Shorten comment to make portlint happy.

2002-07-18 21:25:07 +00:00

pkg-descr

Adding mozart version 1.1.0.20000207.

2000-07-10 03:37:42 +00:00

pkg-message

Add documentation (optional with NOPORTDOCS support), and a couple of

2001-02-08 16:10:58 +00:00

pkg-plist

Update port to version 1.2.0.

2001-05-28 14:55:21 +00:00