remove now unneeded ocamlduce mask, bug #518876

diff --git a/profiles/ChangeLog b/profiles/ChangeLog
index 88957c01e3cc946c40f5c8cd26f4c25b6e8b63b5..5a5f6f01ce0235e5b42aab86e561b484b6ffd20c 100644 (file)
--- a/profiles/ChangeLog
+++ b/profiles/ChangeLog
@@ -1,11 +1,14 @@
 # ChangeLog for profile directory
 # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.9566 2014/11/27 09:28:56 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.9567 2014/11/27 09:32:22 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!
 
+  27 Nov 2014; Alexis Ballier <aballier@gentoo.org> package.mask:
+  remove now unneeded ocamlduce mask, bug #518876
+
   27 Nov 2014; Alexis Ballier <aballier@gentoo.org> updates/4Q-2014:
   move www-servers/ocsigen www-servers/ocsigenserver; it should have been done
   a looong time ago and the former no longer builds

diff --git a/profiles/package.mask b/profiles/package.mask
index 8dbe8515071c4245c9b94cb9aa039b75f2930370..8cbacf15d9ac11db231a371f20b8c4a33d7c94d8 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -1,5 +1,5 @@
 ####################################################################
-# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.16181 2014/11/26 15:52:56 titanofold Exp $
+# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.16182 2014/11/27 09:32:22 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
@@ -839,11 +839,6 @@ net-wireless/madwifi-ng
 # but it can still be used to track userland regressions.
 =app-benchmarks/ltp-ltp-2014082
 
-# 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
-
 # Pacho Ramos <pacho@gentoo.org> (25 Oct 2012)
 # obexd changed its API without any warning, it's recommended to ship
 # 0.46 until https://bugzilla.gnome.org/682106 is fixed to prevent