diff options
Diffstat (limited to 'profiles/updates/1Q-2016')
| -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 df42c41006b9..94006a6a6886 100644 --- a/profiles/updates/1Q-2016 +++ b/profiles/updates/1Q-2016 @@ -9,3 +9,4 @@ move dev-python/socksipy dev-python/PySocks 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 |