diff options
-rw-r--r-- | profiles/updates/1Q-2016 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/updates/1Q-2016 b/profiles/updates/1Q-2016 index 94006a6a6886..994345c8ba8c 100644 --- 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 |