freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix pkg-plist	johans	2009-03-16	1	-0/+1
\| \| \| \|	Reported by: QAT
*	Update to 8.2.1	johans	2009-03-16	3	-106/+531
\|
*	Bump portrevision due to upgrade of devel/gettext.	edwin	2008-06-06	1	-1/+1
\| \| \| \| \| \| \| \| \| \|	The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav)
*	- Due to depency updates, camlp5 (fresh port) is now required as well:	johans	2008-04-17	1	-0/+3
\| \| \| \|	Include this dependency and bump portrevision
*	- Update to 8.1pl3	johans	2008-04-07	3	-7/+7
\| \| \| \| \|	- Take advantage of USE_OCAML - Update MASTER_SITES
*	Update to 8.1.1 (bugfix release)	johans	2007-07-30	3	-6/+10
\|
*	- Welcome X.org 7.2 \o/.	flz	2007-05-20	1	-0/+1
\| \| \| \| \|	- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.
*	- Update to 8.1	johans	2007-03-26	3	-277/+137
\| \| \| \| \|	- Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore
*	- Update to 8.0pl3	pav	2006-03-16	3	-20/+15
\| \| \| \| \|	PR: ports/93954 Submitted by: Johan van Selst <johans@stack.nl>
*	BROKEN: Does not build	kris	2006-03-07	1	-0/+2
\| \| \| \|	Approved by: portmgr (implicit)
*	Replace ugly "@unexec rmdir %D... 2>/dev/null \|\| true" with @dirrmtry	edwin	2006-01-22	1	-4/+4
\| \| \| \| \|	Approved by: krion@ PR: ports/88711 (related)
*	Unbreak: Add vendor-patch for ocaml 3.09	vs	2005-12-07	2	-0/+5
\|
*	Bump PORTREVISION to regenerate the package with the newly enabled IDE on ↵	vs	2005-12-05	1	-0/+1
\| \| \| \| \| \|	the cluster Suggested by: kris
*	Enable IDE by default.	vs	2005-12-05	1	-3/+3
\|
*	- Add SHA256	pav	2005-11-25	1	-0/+1
\|
*	Drop MAINTAINER	mnag	2005-10-30	1	-1/+1
\| \| \| \| \|	PR: 88197 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
*	Update to 8.0p2	vs	2005-02-02	2	-10/+5
\| \| \| \| \|	PR: ports/76977 Submitted by: Rene Laden (maintainer)
*	Fix packaging	vs	2005-01-19	2	-8/+7
\| \| \| \| \|	PR: ports/75787 Submitted by: maintainer
*	- Unbreak on amd64	sem	2004-12-21	1	-2/+1
\| \| \| \| \| \| \| \|	(Johan van Selst succesfully ran the test-suite on an amd64 running 6-CURRENT and ocaml-3.08.2) PR: ports/75334 Submitted by: maintainer
*	Mark broken on ia64 and amd64.	tobez	2004-11-29	1	-0/+4
\| \| \| \| \|	PR: 74502 Submitted by: maintainer
*	- Add optional CoqIde support (depends on lablgtk2)	pav	2004-11-09	3	-58/+69
\| \| \| \| \| \| \| \|	- Correct PORTVERSION to match actual source version - Cosmetics PR: ports/73634 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
*	Add coq, a formal proof management system: a proof done with Coq is	pav	2004-10-16	4	-0/+597
	mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>