Update dependencies.
[packages/dph.git] / dph-lifted-boxed /
drwxr-xr-x   ..
drwxr-xr-x - Data
-rw-r--r-- 1639 LICENSE
-rw-r--r-- 47 Setup.hs
-rw-r--r-- 2236 dph-lifted-boxed.cabal
-rw-r--r-- 2 ghc-stage