1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
freebsd-ports/lang/mozart
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
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