Revert "Fix the workaround for #5360"

This reverts commit 2ad66b59.

Revert "Fix the workaround for #5360"
This reverts commit 2ad66b59.
4b42e729 · chak@cse.unsw.edu.au. · 5ff42f08 · 4b42e729
Commit 4b42e729 authored 13 years ago by chak@cse.unsw.edu.au.
--- 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