add code for -dcoqpass, -fcoqpass, -ddump-coqpass
[ghc-hetmet.git] / libraries / bin-package-db /
drwxr-xr-x   ..
drwxr-xr-x - Distribution
-rw-r--r-- 1611 LICENSE
-rw-r--r-- 702 bin-package-db.cabal