diff options
author | Alexis Ballier <aballier@gentoo.org> | 2016-02-16 15:44:46 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-16 15:44:46 +0100 |
commit | d12a48e7fe4d874edd060bb839823e173ed4f96a (patch) | |
tree | 5f43a9ade536cd586e481e0dd6c38eeba388b27f /profiles | |
parent | 5350fb35f876cdcccba97781a2cc035694b968b5 (diff) | |
download | gentoo-d12a48e7fe4d874edd060bb839823e173ed4f96a.tar.gz gentoo-d12a48e7fe4d874edd060bb839823e173ed4f96a.tar.xz |
profiles/updates: move dev-ml/custom_printf to dev-ml/ppx_custom_printf which is its successor.
Diffstat (limited to 'profiles')
-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 94006a6a688..994345c8ba8 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 |