dph-lifted-vseg: follow name changes and reinstate some INLINEs
[packages/dph.git] / dph-lifted-base /
drwxr-xr-x   ..
drwxr-xr-x - Data
-rw-r--r-- 1660 LICENSE
-rw-r--r-- 47 Setup.hs
-rw-r--r-- 1804 dph-lifted-base.cabal
-rw-r--r-- 2 ghc-stage