Antoine Brodin 02fe5fe0cc Mark BROKEN: Dysfunctional
All ports depending on this one fail to build:
    devel/asdlgen
    devel/ml-doc
    devel/sml_tk
    math/isabelle
    textproc/sml-fxp

Reported by:	pkg-fallout
With hat:	portmgr
2014-06-01 09:00:05 +00:00
2014-06-01 08:08:51 +00:00
2014-06-01 07:59:15 +00:00
2014-05-31 18:03:08 +00:00
2014-05-31 04:10:40 +00:00
2014-05-31 21:43:21 +00:00
2014-05-31 16:37:58 +00:00
2014-05-30 05:56:15 +00:00
2014-06-01 03:32:02 +00:00
2014-05-31 16:37:58 +00:00
2014-05-31 05:25:50 +00:00
2014-05-29 12:05:20 +00:00
2014-05-30 02:14:04 +00:00
2014-05-31 18:08:09 +00:00
2014-06-01 02:22:37 +00:00
2014-05-31 20:56:46 +00:00
2014-05-30 14:25:51 +00:00
2014-06-01 09:00:05 +00:00
2014-05-31 16:37:58 +00:00
2014-06-01 00:02:12 +00:00
2014-05-29 11:39:16 +00:00
2014-05-31 14:59:03 +00:00
2014-05-31 20:52:21 +00:00
2014-05-31 15:23:58 +00:00
2014-06-01 08:15:39 +00:00
2014-06-01 06:12:13 +00:00
2014-05-31 19:21:19 +00:00
2014-05-29 19:32:08 +00:00
2014-05-29 19:32:08 +00:00
2014-05-30 05:31:58 +00:00

This is the FreeBSD Ports Collection.  For an easy to use
WEB-based interface to it, please see:

	http://www.FreeBSD.org/ports

For general information on the Ports Collection, please see the
FreeBSD Handbook ports section which is available from:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/ports.html
		for the latest official version
	or:
	The ports(7) manual page (man ports).

These will explain how to use ports and packages.

If you would like to search for a port, you can do so easily by
saying (in /usr/ports):


	make search name="<name>"
	or:
	make search key="<keyword>"

which will generate a list of all ports matching <name> or <keyword>.
make search also supports wildcards, such as:

	make search name="gtk*"

For information about contributing to FreeBSD ports, please see the Porter's
Handbook, available at:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/porters-handbook/

NOTE:  This tree will GROW significantly in size during normal usage!
The distribution tar files can and do accumulate in /usr/ports/distfiles,
and the individual ports will also use up lots of space in their work
subdirectories unless you remember to "make clean" after you're done
building a given port.  /usr/ports/distfiles can also be periodically
cleaned without ill-effect.

Description
No description provided
Readme 1.7 GiB
Languages
Makefile 59.7%
C 16.1%
Shell 7.2%
Roff 5%
C++ 3.7%
Other 7%