profiles/updates: move dev-ml/custom_printf to dev-ml/ppx_custom_printf which is...

diff --git a/profiles/updates/1Q-2016 b/profiles/updates/1Q-2016
index 94006a6a68868dc628d4abd72923dbe57c17c4bf..994345c8ba8ce1e60060925d11e4f23b148ba1a3 100644 (file)
--- a/profiles/updates/1Q-2016
+++ b/profiles/updates/1Q-2016
@@ -10,3 +10,4 @@ move x11-apps/ardesia x11-misc/ardesia
 slotmove <sci-libs/libint-2 0 1
 slotmove >=sci-libs/libint-2 0 2
 move dev-ml/pa_test dev-ml/ppx_assert
+move dev-ml/custom_printf dev-ml/ppx_custom_printf