dph-plugin: use our own pipeline
[packages/dph.git] / dph-plugin /
drwxr-xr-x   ..
drwxr-xr-x - DPH
-rw-r--r-- 1651 LICENSE
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 738 dph-plugin.cabal