diff options
| -rw-r--r-- | profiles/ChangeLog | 5 | ||||
| -rw-r--r-- | profiles/package.mask | 7 |
2 files changed, 10 insertions, 2 deletions
diff --git a/profiles/ChangeLog b/profiles/ChangeLog index 826c6d358f4d..54adcdfc9d6f 100644 --- a/profiles/ChangeLog +++ b/profiles/ChangeLog @@ -1,11 +1,14 @@ # ChangeLog for profile directory # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.7087 2012/11/01 09:22:41 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.7088 2012/11/01 15:53:08 aballier Exp $ # # This ChangeLog should include records for all changes in profiles directory. # Only typo fixes which don't affect portage/repoman behaviour could be avoided # here. If in doubt put a record here! + 01 Nov 2012; Alexis Ballier <aballier@gentoo.org> package.mask: + mask dev-ml/ocamlduce + 01 Nov 2012; Ulrich Müller <ulm@gentoo.org> license_groups: New DEPRECATED license group, bug 440638. diff --git a/profiles/package.mask b/profiles/package.mask index 8d19232f0e0f..377001761a8f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14180 2012/11/01 07:05:55 flameeyes Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14181 2012/11/01 15:53:08 aballier Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked. Please be extremely @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- +# Alexis Ballier <aballier@gentoo.org> (1 Nov 2012) +# Still requires ocaml-3, mask it until it is ported. If this does not happen in +# the near future, we should consider removing it. +dev-ml/ocamlduce + # Diego Elio Pettenò <flameeyes@gentoo.org> (1 Nov 2012) # See tracker bug #440342. Will probably require GNOME 3.6 to be # unmasked first. |