Revert "Fix the workaround for #5360"

This reverts commit 2ad66b597b139ea73830f2aedf564df2b72960e9.

1 files changed, 1 insertions, 2 deletions

diff --git a/packages b/packages
index 7eae87746d..84ce2b67dd 100644
--- a/packages
+++ b/packages
@@ -78,5 +78,4 @@ libraries/stm                   extra       packages/stm.git
 libraries/random                dph         packages/random.git                 git
 libraries/primitive             dph         packages/primitive.git              git
 libraries/vector                dph         packages/vector.git                 git
-# Don't build dph for now: it doesn't work (#5360)
-# libraries/dph                   dph         packages/dph.git                    git
+libraries/dph                   dph         packages/dph.git                    git